1.9 KiB
1.9 KiB
| 1 | Configuration | Data | Compile Time (s) | Solve Time (s) |
|---|---|---|---|---|
| 2 | Base | radiation/01.dzn | 0.24510734984651208 | 0.023913082107901572 |
| 3 | Base | radiation/02.dzn | 0.30582690900191667 | 0.028090783022344114 |
| 4 | Base | radiation/03.dzn | 0.3193663267418742 | 0.031867857277393344 |
| 5 | Base | radiation/04.dzn | 0.39944209847599266 | 0.06285300282761455 |
| 6 | Base | radiation/05.dzn | 0.3814492827281356 | 0.07408921113237739 |
| 7 | Base | radiation/06.dzn | 0.42284395741298797 | 0.0830705595202744 |
| 8 | Base | radiation/07.dzn | 0.3188631976954639 | 0.03759916163980961 |
| 9 | Base | radiation/08.dzn | 0.41931043174117805 | 0.16300638895481825 |
| 10 | Base | radiation/09.dzn | 0.4676839098334312 | 0.2566952796652913 |
| 11 | Incremental Rewriting | radiation/01.dzn | 0.01925070183351636 | 0.01717325309291482 |
| 12 | Incremental Rewriting | radiation/02.dzn | 0.020097369328141212 | 0.014758218824863435 |
| 13 | Incremental Rewriting | radiation/03.dzn | 0.019597070664167403 | 0.03506866861134768 |
| 14 | Incremental Rewriting | radiation/04.dzn | 0.020147585589438678 | 0.046414986718446016 |
| 15 | Incremental Rewriting | radiation/05.dzn | 0.020718697272241116 | 0.07127303797751665 |
| 16 | Incremental Rewriting | radiation/06.dzn | 0.020426739938557148 | 0.0479787765070796 |
| 17 | Incremental Rewriting | radiation/07.dzn | 0.020852961204946042 | 0.031166965235024692 |
| 18 | Incremental Rewriting | radiation/08.dzn | 0.020653770212084054 | 0.240933208912611 |
| 19 | Incremental Rewriting | radiation/09.dzn | 0.020874314848333596 | 0.23791785333305598 |
| 20 | Restart Based Search | radiation/01.dzn | 0.0397587 | 0.0156963 |
| 21 | Restart Based Search | radiation/02.dzn | 0.03960400000000001 | 0.012639799999999998 |
| 22 | Restart Based Search | radiation/03.dzn | 0.039819400000000005 | 0.018935200000000003 |
| 23 | Restart Based Search | radiation/04.dzn | 0.044984100000000006 | 0.03167359999999999 |
| 24 | Restart Based Search | radiation/05.dzn | 0.045806799999999995 | 0.068683 |
| 25 | Restart Based Search | radiation/06.dzn | 0.0460396 | 0.0317119 |
| 26 | Restart Based Search | radiation/07.dzn | 0.048206399999999996 | 0.016760999999999998 |
| 27 | Restart Based Search | radiation/08.dzn | 0.048394900000000005 | 0.1321796 |
| 28 | Restart Based Search | radiation/09.dzn | 0.048275 | 0.1422641 |