diff --git a/Results/real-instances-true-5min.txt b/Results/real-instances-true-5min.txt new file mode 100644 index 0000000000000000000000000000000000000000..dd97dba1e0dd0e687cd263dab4055aade797cdb6 --- /dev/null +++ b/Results/real-instances-true-5min.txt @@ -0,0 +1,1002 @@ +name states vata trellis faudes mata limi result +real-instances-true/2/ProdConsDHeadQ-FwBad-Nondet-1-2.gen 2 0.014 0.008 0.009 0.006 0.358 true +real-instances-true/3/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-1-0.gen 3 0.009 0.005 0.011 0.008 0.474 true +real-instances-true/4/IBakery-4P-BinEnc-BwBad-Nondet-Partial-11-1.gen 4 0.005 0.007 0.009 0.007 0.516 true +real-instances-true/5/IBakery5PUnrEnc-Rev-FwBad-Nondet-Partial-1-1.gen 5 0.007 0.009 0.015 0.007 0.392 true +real-instances-true/6/Bakery-5P-UnrEnc-BwBad-Nondet-33-1.gen 6 0.006 0.004 0.009 0.006 0.301 true +real-instances-true/7/IBakery-4P-BinEnc-BwBad-12-2.gen 7 0.006 0.005 0.014 0.006 0.249 true +real-instances-true/8/BubbleSort-full-FwBad-Nondet-58-1.gen 8 0.006 0.006 0.008 0.005 0.288 true +real-instances-true/9/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-0-2.gen 9 0.005 0.004 0.006 0.007 0.289 true +real-instances-true/10/Bakery5PUnrEnc-FlOneOne-Nondet-0-2.gen 10 0.005 0.004 0.019 0.006 0.304 true +real-instances-true/11/Bakery-4P-BinEnc-BwBad-Nondet-Partial-12-0.gen 11 0.005 0.004 0.009 0.006 0.285 true +real-instances-true/12/Bakery5PUnrEnc-Rev-FbOneOne-Nondet-Partial-1-2.gen 12 0.008 0.010 0.019 0.008 0.285 true +real-instances-true/13/ProdConsDHeadQ-FwBad-Nondet-12-1.gen 13 0.022 0.026 0.007 0.007 0.347 true +real-instances-true/14/IBubbleSort-full-FlOneOne-Nondet-Partial-2-0.gen 14 0.006 0.011 0.014 0.009 0.317 true +real-instances-true/15/Bakery4pBinEnc-FbtOneOne-Nondet-112-1.gen 15 0.011 0.008 0.015 0.010 0.703 true +real-instances-true/16/Bakery-5P-UnrEnc-BwBad-Nondet-30-2.gen 16 0.007 0.006 0.011 0.007 0.375 true +real-instances-true/17/IBubbleSort-full-FwBad-Nondet-47-2.gen 17 0.012 0.025 0.021 0.012 0.532 true +real-instances-true/19/BubbleSort-full-FbOneOne-Nondet-14-2.gen 19 0.009 0.013 0.018 0.010 0.449 true +real-instances-true/20/Bakery-4P-BinEnc-FwBad-Partial-12-2.gen 20 0.010 0.021 0.059 0.014 0.270 true +real-instances-true/21/IBakery-5P-UnrEnc-BwBad-Nondet-32-1.gen 21 0.025 0.007 0.027 0.007 0.326 true +real-instances-true/22/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-12-1.gen 22 0.011 0.012 0.013 0.013 0.781 true +real-instances-true/23/IProdConsDHeadQ-FwBad-Nondet-17-1.gen 23 0.012 0.048 0.027 0.012 0.525 true +real-instances-true/25/BubbleSort-full-FwBad-Nondet-21-1.gen 25 0.013 0.075 0.064 0.025 0.330 true +real-instances-true/26/BubbleSort-full-FwBad-Nondet-17-1.gen 26 0.014 0.083 0.045 0.024 0.367 true +real-instances-true/28/IProdConsDHeadQ-FwBad-Nondet-16-2.gen 28 0.013 0.251 0.054 0.020 0.242 true +real-instances-true/31/IBubbleSort-full-FlOneOne-Nondet-Partial-14-0.gen 31 0.011 0.405 0.037 0.010 0.283 true +real-instances-true/33/IProdConsDHeadQ-FwBad-Nondet-18-1.gen 33 0.035 0.231 0.110 0.025 0.342 true +real-instances-true/34/BubbleSort-full-FwBad-Nondet-24-0.gen 34 0.039 0.261 0.143 0.048 0.446 true +real-instances-true/35/IBubbleSort-full-FbOneOne-Nondet-5-0.gen 35 0.011 0.035 0.026 0.012 0.414 true +real-instances-true/36/BubbleSort-full-FwBad-Nondet-51-1.gen 36 0.009 0.079 0.017 0.008 0.407 true +real-instances-true/38/BubbleSort-full-FlOneOne-Nondet-Partial-8-0.gen 38 0.011 1.046 0.042 0.018 0.341 true +real-instances-true/39/Bakery-4P-BinEnc-BwBad-Nondet-Partial-16-0.gen 39 0.015 0.031 0.064 0.025 0.429 true +real-instances-true/40/IBakery4pBinEnc-FbtOneOne-Nondet-482-2.gen 40 0.031 0.026 0.070 0.037 0.526 true +real-instances-true/42/ProdConsDHeadQ-FwBad-Nondet-2-1.gen 42 0.028 0.245 0.116 0.030 0.333 true +real-instances-true/43/ProdConsDHeadQ-FwBad-Nondet-4-2.gen 43 0.011 0.257 0.020 0.012 0.544 true +real-instances-true/46/IBubbleSort-full-FwBad-Nondet-28-0.gen 46 0.086 2.499 0.177 0.061 0.251 true +real-instances-true/47/BubbleSort-full-FwBad-Nondet-53-0.gen 47 0.018 0.147 0.066 0.026 0.340 true +real-instances-true/49/ProdConsDHeadQ-FwBad-Nondet-6-1.gen 49 0.019 0.299 0.048 0.022 0.460 true +real-instances-true/50/IBakery-4P-BinEnc-FwBad-Nondet-Partial-16-2.gen 50 0.043 0.032 0.094 0.041 0.440 true +real-instances-true/53/BubbleSort-full-FwBad-Nondet-55-0.gen 53 0.039 0.135 0.145 0.054 0.286 true +real-instances-true/55/BubbleSort-full-FlOneOne-Nondet-Partial-15-2.gen 55 0.025 1.531 0.036 0.012 0.371 true +real-instances-true/56/Bakery4pBinEnc-FlOneOne-Nondet-334-2.gen 56 0.011 0.028 0.034 0.031 0.398 true +real-instances-true/57/Bakery-4P-BinEnc-FwBad-Nondet-Partial-12-0.gen 57 0.040 0.617 0.262 0.031 0.315 true +real-instances-true/61/Bakery-5P-UnrEnc-BwBad-Nondet-34-1.gen 61 0.025 0.128 0.030 0.018 0.317 true +real-instances-true/62/BubbleSort-full-FwBad-Nondet-38-0.gen 62 0.062 3.397 0.319 0.141 0.344 true +real-instances-true/64/ProdConsDHeadQ-FwBad-Nondet-11-2.gen 64 0.071 0.470 0.332 0.072 0.318 true +real-instances-true/67/IBubbleSort-full-FwBad-Nondet-40-0.gen 67 0.473 7.696 2.867 0.313 0.438 true +real-instances-true/68/IProdConsDHeadQ-FwBad-Nondet-10-2.gen 68 0.109 0.594 0.990 0.114 0.403 true +real-instances-true/76/IBubbleSort-full-FwBad-Nondet-39-0.gen 76 0.837 13.425 4.838 0.517 0.880 true +real-instances-true/77/Bakery5PUnrEnc-FbtOneOne-Nondet-34-2.gen 77 0.022 0.151 0.074 0.022 0.344 true +real-instances-true/81/BubbleSort-full-FlOneOne-Nondet-Partial-19-0.gen 81 0.135 6.534 1.084 0.136 0.315 true +real-instances-true/88/Bakery-4P-BinEnc-FwBad-Partial-2-1.gen 88 0.112 0.743 0.460 0.155 0.321 true +real-instances-true/89/Bakery4pBinEnc-FbtOneOne-Nondet-504-1.gen 89 0.042 0.138 0.154 0.059 0.259 true +real-instances-true/92/IBakery5PUnrEnc-FlOneOne-Nondet-34-1.gen 92 0.056 0.171 0.232 0.140 0.205 true +real-instances-true/94/Bakery-4P-BinEnc-BwBad-9-1.gen 94 0.084 1.031 0.300 0.099 0.230 true +real-instances-true/105/Bakery4pBinEnc-FlOneOne-Nondet-561-2.gen 105 0.044 0.219 0.180 0.055 0.239 true +real-instances-true/117/IBakery-4P-BinEnc-FwBad-Nondet-Partial-5-0.gen 117 0.109 0.349 0.383 0.175 0.290 true +real-instances-true/124/IBakery4pBinEnc-FbtOneOne-Nondet-2-1.gen 124 0.104 0.352 0.375 0.140 0.276 true +real-instances-true/125/Bakery4pBinEnc-FbOneOne-Nondet-Partial-2-2.gen 125 0.070 0.298 0.239 0.146 0.243 true +real-instances-true/138/IBakery5PUnrEnc-Rev-FwBad-Nondet-Partial-2-2.gen 138 0.536 fail 2.604 0.813 0.564 true +real-instances-true/148/IBakery5PUnrEnc-Rev-FwBad-Nondet-Partial-4-2.gen 148 1.235 fail 9.235 1.116 0.489 true +real-instances-true/151/BubbleSort-full-FlOneOne-Nondet-Partial-21-2.gen 151 1.104 fail 14.753 0.788 0.363 true +real-instances-true/165/IBakery4pBinEnc-FbtOneOne-Nondet-79-0.gen 165 0.681 1.120 1.310 0.747 0.598 true +real-instances-true/171/Bakery5PUnrEnc-Rev-FlOneOne-Nondet-Partial-0-2.gen 171 1.200 fail 4.311 1.387 0.821 true +real-instances-true/195/Bakery5PUnrEnc-Rev-FbOneOne-Nondet-Partial-3-1.gen 195 0.054 fail 0.436 0.194 0.371 true +real-instances-true/206/Bakery4pBinEnc-FbtOneOne-Nondet-68-2.gen 206 0.975 1.259 1.753 0.695 0.523 true +real-instances-true/208/Bakery-4P-BinEnc-FwBad-Partial-6-1.gen 208 0.913 10.014 2.339 0.822 0.451 true +real-instances-true/210/IBakery-4P-BinEnc-FwBad-Nondet-Partial-4-0.gen 210 0.521 1.615 1.156 0.600 0.573 true +real-instances-true/221/IBakery-5P-UnrEnc-BwBad-Nondet-9-2.gen 221 0.801 3.583 1.622 0.783 0.759 true +real-instances-true/222/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-43-2.gen 222 0.182 3.066 0.535 0.207 0.484 true +real-instances-true/227/IBakery4pBinEnc-FbtOneOne-Nondet-90-2.gen 227 1.191 1.024 1.999 0.979 0.580 true +real-instances-true/228/BubbleSort-full-FlOneOne-Nondet-Partial-31-1.gen 228 0.836 fail 12.242 0.728 0.566 true +real-instances-true/252/Bakery-4P-BinEnc-FwBad-Partial-8-0.gen 252 0.537 21.526 2.178 0.586 0.495 true +real-instances-true/256/IBakery-4P-BinEnc-BwBad-18-2.gen 256 2.292 23.529 3.833 1.975 0.692 true +real-instances-true/266/Bakery-4P-BinEnc-FwBad-Nondet-Partial-6-0.gen 266 0.749 5.008 1.778 0.931 0.558 true +real-instances-true/275/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-35-1.gen 275 0.311 1.274 0.634 0.309 0.511 true +real-instances-true/276/IBakery4pBinEnc-FbOneOne-Nondet-Partial-208-2.gen 276 1.854 2.594 2.930 0.995 0.516 true +real-instances-true/288/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-24-1.gen 288 0.140 2.289 0.270 0.192 0.425 true +real-instances-true/295/Bakery-4P-BinEnc-BwBad-Nondet-Partial-4-2.gen 295 15.222 fail 47.509 4.419 23.543 true +real-instances-true/306/Bakery-4P-BinEnc-BwBad-13-2.gen 306 0.035 39.007 0.113 0.066 0.233 true +real-instances-true/307/IBakery4pBinEnc-FlOneOne-Nondet-79-2.gen 307 0.319 1.937 1.276 0.476 0.370 true +real-instances-true/316/IBakery-4P-BinEnc-BwBad-Nondet-Partial-6-2.gen 316 140.946 fail fail 15.758 fail true +real-instances-true/318/IBakery4pBinEnc-FbOneOne-Nondet-Partial-197-1.gen 318 1.645 4.252 2.422 1.981 0.480 true +real-instances-true/322/Bakery-4P-BinEnc-FwBad-Partial-15-0.gen 322 0.054 80.546 0.198 0.097 0.336 true +real-instances-true/326/IBakery-4P-BinEnc-FwBad-Nondet-Partial-8-1.gen 326 1.162 17.377 2.416 1.171 0.678 true +real-instances-true/331/BubbleSort-full-FlOneOne-Nondet-Partial-29-2.gen 331 5.141 fail fail 3.896 3.039 true +real-instances-true/332/IBakery4pBinEnc-FbOneOne-Nondet-Partial-219-2.gen 332 2.283 6.178 3.752 1.634 0.700 true +real-instances-true/340/IBakery-4P-BinEnc-BwBad-Nondet-Partial-8-0.gen 340 4.805 fail 245.421 1.232 25.606 true +real-instances-true/341/IBakery4pBinEnc-FbOneOne-Nondet-Partial-274-1.gen 341 1.979 11.484 3.846 1.781 0.893 true +real-instances-true/367/IBakery4pBinEnc-FbtOneOne-Nondet-235-2.gen 367 2.479 8.004 3.923 2.562 0.519 true +real-instances-true/368/IBakery4pBinEnc-FbOneOne-Nondet-Partial-319-1.gen 368 1.959 8.732 3.800 1.554 0.617 true +real-instances-true/380/Bakery4pBinEnc-FbtOneOne-Nondet-246-0.gen 380 1.346 5.749 3.112 1.444 0.585 true +real-instances-true/381/Bakery4pBinEnc-FlOneOne-Nondet-68-1.gen 381 0.644 4.483 1.328 0.596 0.512 true +real-instances-true/386/IBakery-4P-BinEnc-FwBad-Partial-19-1.gen 386 25.167 118.513 120.340 10.734 291.571 true +real-instances-true/398/IBakery-4P-BinEnc-FwBad-Partial-17-2.gen 398 3.919 238.401 9.502 3.888 1.190 true +real-instances-true/403/IBakery4pBinEnc-FlOneOne-Nondet-124-0.gen 403 6.136 4.991 7.740 2.664 0.910 true +real-instances-true/405/IBubbleSort-full-FlOneOne-Nondet-Partial-28-2.gen 405 25.855 fail fail 45.085 251.365 true +real-instances-true/410/IBakery-4P-BinEnc-BwBad-21-1.gen 410 4.664 259.356 10.922 5.587 1.284 true +real-instances-true/412/Bakery4pBinEnc-FlOneOne-Nondet-113-1.gen 412 6.820 8.507 7.810 3.436 0.827 true +real-instances-true/416/IBakery4pBinEnc-FbtOneOne-Nondet-301-0.gen 416 6.563 11.287 10.598 3.943 1.095 true +real-instances-true/417/Bakery4pBinEnc-FbOneOne-Nondet-Partial-363-2.gen 417 0.614 14.402 1.373 0.903 0.560 true +real-instances-true/418/Bakery4pBinEnc-FbtOneOne-Nondet-323-2.gen 418 2.919 11.488 4.135 2.108 0.889 true +real-instances-true/419/IBakery4pBinEnc-FbOneOne-Nondet-Partial-385-2.gen 419 2.165 15.297 4.186 3.243 0.947 true +real-instances-true/424/IBakery-5P-UnrEnc-BwBad-Nondet-6-1.gen 424 2.943 22.948 5.976 3.506 1.017 true +real-instances-true/425/Bakery-5P-UnrEnc-BwBad-Nondet-14-1.gen 425 9.440 25.489 8.289 4.467 1.158 true +real-instances-true/429/IBakery4pBinEnc-FbtOneOne-Nondet-368-0.gen 429 3.843 13.595 6.863 2.993 0.787 true +real-instances-true/434/Bakery-4P-BinEnc-BwBad-26-1.gen 434 20.546 251.278 32.116 10.211 5.941 true +real-instances-true/438/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-118-0.gen 438 3.553 11.911 4.388 2.603 0.844 true +real-instances-true/444/Bakery-5P-UnrEnc-BwBad-Nondet-20-1.gen 444 3.232 25.367 5.801 2.265 0.911 true +real-instances-true/446/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-117-1.gen 446 4.188 11.944 7.379 2.657 0.930 true +real-instances-true/459/Bakery4pBinEnc-FbOneOne-Nondet-Partial-430-2.gen 459 4.364 16.805 5.477 2.354 0.775 true +real-instances-true/461/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-119-2.gen 461 4.056 14.053 8.086 3.634 1.152 true +real-instances-true/462/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-3-0.gen 462 0.029 21.143 0.162 0.049 0.470 true +real-instances-true/466/IBubbleSort-full-FlOneOne-Nondet-Partial-30-2.gen 466 95.867 fail fail 140.523 fail true +real-instances-true/480/Bakery4pBinEnc-FbOneOne-Nondet-Partial-452-0.gen 480 3.526 19.280 5.898 1.995 0.848 true +real-instances-true/481/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-4-2.gen 481 12.323 37.059 9.296 3.565 1.160 true +real-instances-true/499/Bakery4pBinEnc-FlOneOne-Nondet-257-2.gen 499 3.960 18.579 5.748 2.480 0.812 true +real-instances-true/502/IBakery4pBinEnc-FlOneOne-Nondet-235-2.gen 502 0.072 19.493 0.216 0.087 0.412 true +real-instances-true/506/IBakery4pBinEnc-FbtOneOne-Nondet-401-2.gen 506 12.673 21.408 13.599 4.929 1.357 true +real-instances-true/528/IBakery4pBinEnc-FlOneOne-Nondet-279-1.gen 528 1.625 22.014 3.262 1.434 0.697 true +real-instances-true/536/Bakery4pBinEnc-FbOneOne-Nondet-Partial-463-1.gen 536 15.058 22.873 13.621 5.524 1.540 true +real-instances-true/550/IBakery5PUnrEnc-FlOneOne-Nondet-3-1.gen 550 10.935 41.691 8.662 3.785 0.910 true +real-instances-true/559/IBakery4pBinEnc-FbOneOne-Nondet-Partial-518-1.gen 559 12.766 29.733 12.995 5.129 1.080 true +real-instances-true/564/Bakery4pBinEnc-FlOneOne-Nondet-301-0.gen 564 1.205 23.310 1.792 1.195 0.485 true +real-instances-true/566/Bakery4pBinEnc-FbOneOne-Nondet-Partial-563-0.gen 566 10.725 30.404 11.712 5.400 1.213 true +real-instances-true/567/Bakery4pBinEnc-FbOneOne-Nondet-Partial-541-2.gen 567 13.489 27.103 14.077 5.830 1.399 true +real-instances-true/573/IBakery4pBinEnc-FlOneOne-Nondet-323-2.gen 573 2.341 19.565 3.911 1.677 0.655 true +real-instances-true/576/Bakery4pBinEnc-FbOneOne-Nondet-Partial-552-0.gen 576 25.108 29.632 17.690 8.340 1.519 true +real-instances-true/586/IBakery4pBinEnc-FbtOneOne-Nondet-484-0.gen 586 1.710 33.583 3.520 1.146 0.535 true +real-instances-true/606/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-132-0.gen 606 24.431 28.565 17.749 5.921 1.339 true +real-instances-true/607/IBakery4pBinEnc-FbOneOne-Nondet-Partial-641-0.gen 607 4.177 39.528 7.902 2.520 0.781 true +real-instances-true/608/Bakery4pBinEnc-FbtOneOne-Nondet-487-2.gen 608 0.052 37.569 0.275 0.112 0.279 true +real-instances-true/627/Bakery4pBinEnc-FbOneOne-Nondet-Partial-663-0.gen 627 2.319 43.918 4.685 1.743 0.492 true +real-instances-true/631/Bakery4pBinEnc-FbtOneOne-Nondet-497-0.gen 631 24.059 45.393 17.726 7.561 1.804 true +real-instances-true/633/Bakery4pBinEnc-FbtOneOne-Nondet-486-2.gen 633 4.608 39.592 6.661 2.630 0.769 true +real-instances-true/634/Bakery4pBinEnc-FbtOneOne-Nondet-489-0.gen 634 4.622 37.658 8.702 5.143 0.843 true +real-instances-true/635/IBakery4pBinEnc-FbtOneOne-Nondet-488-1.gen 635 0.079 35.861 0.357 0.146 0.315 true +real-instances-true/636/Bakery4pBinEnc-FbtOneOne-Nondet-500-1.gen 636 20.584 45.368 17.843 7.312 1.992 true +real-instances-true/637/Bakery4pBinEnc-FbtOneOne-Nondet-501-1.gen 637 0.261 49.096 0.616 0.339 0.306 true +real-instances-true/640/IBakery4pBinEnc-FbtOneOne-Nondet-496-0.gen 640 16.803 50.788 15.086 5.615 1.251 true +real-instances-true/649/IBakery4pBinEnc-FbOneOne-Nondet-Partial-718-1.gen 649 2.631 48.658 6.604 2.579 0.799 true +real-instances-true/662/Bakery4pBinEnc-FbtOneOne-Nondet-502-1.gen 662 0.921 42.363 2.853 2.256 0.497 true +real-instances-true/666/Bakery-5P-UnrEnc-BwBad-Nondet-10-2.gen 666 30.295 74.287 18.129 6.440 1.640 true +real-instances-true/671/Bakery4pBinEnc-FbtOneOne-Nondet-507-2.gen 671 4.481 47.057 7.187 2.671 0.747 true +real-instances-true/676/Bakery4pBinEnc-FlOneOne-Nondet-390-1.gen 676 10.126 30.121 11.286 4.042 1.286 true +real-instances-true/678/IBakery4pBinEnc-FbtOneOne-Nondet-505-2.gen 678 37.849 41.878 23.153 11.877 2.361 true +real-instances-true/694/IBakery4pBinEnc-FlOneOne-Nondet-412-2.gen 694 7.112 43.852 6.388 2.770 0.913 true +real-instances-true/696/IBakery-5P-UnrEnc-BwBad-Nondet-16-2.gen 696 2.844 101.955 3.194 1.782 0.619 true +real-instances-true/706/IBakery4pBinEnc-FbtOneOne-Nondet-509-0.gen 706 20.143 62.873 16.815 5.340 1.514 true +real-instances-true/708/IBakery4pBinEnc-FbOneOne-Nondet-Partial-707-1.gen 708 5.806 62.841 9.598 3.277 0.830 true +real-instances-true/709/Bakery4pBinEnc-FbOneOne-Nondet-Partial-763-1.gen 709 3.288 72.176 5.369 2.339 0.762 true +real-instances-true/710/Bakery-5P-UnrEnc-BwBad-Nondet-19-1.gen 710 11.640 107.821 10.910 6.293 1.301 true +real-instances-true/711/IBakery4pBinEnc-FbtOneOne-Nondet-511-1.gen 711 27.565 53.326 31.259 9.547 1.742 true +real-instances-true/721/IBakery4pBinEnc-FbtOneOne-Nondet-513-2.gen 721 29.832 53.081 16.223 6.651 1.794 true +real-instances-true/736/Bakery4pBinEnc-FlOneOne-Nondet-401-0.gen 736 43.511 45.047 24.709 9.797 2.330 true +real-instances-true/740/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-147-0.gen 740 16.860 43.309 22.139 5.960 1.352 true +real-instances-true/744/Bakery4pBinEnc-FbtOneOne-Nondet-519-0.gen 744 45.749 63.210 22.448 11.093 2.822 true +real-instances-true/757/Bakery4pBinEnc-FbtOneOne-Nondet-521-1.gen 757 17.026 81.202 12.421 4.935 2.516 true +real-instances-true/759/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-146-1.gen 759 40.304 64.229 21.725 10.977 2.850 true +real-instances-true/765/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-2-2.gen 765 50.300 97.174 24.951 10.031 2.564 true +real-instances-true/770/IBakery-5P-UnrEnc-BwBad-Nondet-15-1.gen 770 1.038 165.322 2.457 0.760 0.322 true +real-instances-true/780/Bakery4pBinEnc-FbtOneOne-Nondet-520-1.gen 780 19.769 78.078 18.857 8.967 1.917 true +real-instances-true/800/Bakery4pBinEnc-FbtOneOne-Nondet-525-0.gen 800 20.529 93.345 18.810 7.125 1.717 true +real-instances-true/801/Bakery4pBinEnc-FlOneOne-Nondet-523-2.gen 801 2.225 52.298 4.225 1.835 0.563 true +real-instances-true/802/IBakery4pBinEnc-FbOneOne-Nondet-Partial-785-2.gen 802 0.945 95.901 1.780 0.966 0.295 true +real-instances-true/808/IBakery4pBinEnc-FlOneOne-Nondet-501-2.gen 808 38.553 57.651 19.842 10.003 1.836 true +real-instances-true/810/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-9-1.gen 810 8.994 116.503 10.324 3.825 1.029 true +real-instances-true/816/IBakery-5P-UnrEnc-BwBad-Nondet-25-1.gen 816 22.929 180.536 13.088 9.988 1.906 true +real-instances-true/821/Bakery-5P-UnrEnc-BwBad-Nondet-24-0.gen 821 5.976 173.721 7.771 3.373 0.923 true +real-instances-true/822/IBakery4pBinEnc-FbtOneOne-Nondet-4-1.gen 822 4.704 93.602 7.280 1.947 0.669 true +real-instances-true/826/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-152-1.gen 826 60.541 68.460 29.939 13.536 2.161 true +real-instances-true/830/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-159-2.gen 830 2.073 81.612 4.860 1.636 0.647 true +real-instances-true/833/Bakery4pBinEnc-FlOneOne-Nondet-535-0.gen 833 52.804 82.802 35.555 12.116 2.941 true +real-instances-true/838/Bakery4pBinEnc-FbOneOne-Nondet-Partial-807-0.gen 838 34.833 114.101 19.889 10.211 2.242 true +real-instances-true/842/Bakery4pBinEnc-FbtOneOne-Nondet-3-2.gen 842 9.171 80.566 12.935 4.602 1.037 true +real-instances-true/845/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-160-1.gen 845 6.233 63.097 8.555 3.879 1.017 true +real-instances-true/850/IBakery4pBinEnc-FlOneOne-Nondet-533-1.gen 850 70.173 81.941 33.993 10.540 2.471 true +real-instances-true/853/IBakery4pBinEnc-FlOneOne-Nondet-542-1.gen 853 15.744 84.653 14.254 4.873 0.991 true +real-instances-true/854/IBakery4pBinEnc-FlOneOne-Nondet-543-0.gen 854 41.286 90.371 27.505 11.912 2.417 true +real-instances-true/858/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-154-1.gen 858 3.685 60.984 5.077 2.152 0.789 true +real-instances-true/863/IBakery4pBinEnc-FbOneOne-Nondet-Partial-796-0.gen 863 50.896 95.478 37.563 13.484 2.067 true +real-instances-true/866/Bakery4pBinEnc-FlOneOne-Nondet-551-0.gen 866 6.564 83.634 9.305 2.698 0.724 true +real-instances-true/868/Bakery4pBinEnc-FlOneOne-Nondet-544-2.gen 868 69.053 108.275 33.935 16.027 3.162 true +real-instances-true/871/IBakery5PUnrEnc-FlOneOne-Nondet-5-0.gen 871 12.399 127.116 11.712 3.548 1.182 true +real-instances-true/873/Bakery4pBinEnc-FbtOneOne-Nondet-5-1.gen 873 15.621 103.796 17.827 5.065 1.205 true +real-instances-true/877/IBakery4pBinEnc-FlOneOne-Nondet-548-0.gen 877 16.801 88.241 12.485 5.726 1.283 true +real-instances-true/879/Bakery4pBinEnc-FbtOneOne-Nondet-25-2.gen 879 29.572 133.788 24.028 10.689 2.356 true +real-instances-true/880/IBakery4pBinEnc-FbtOneOne-Nondet-31-2.gen 880 67.559 134.399 39.997 12.524 2.847 true +real-instances-true/888/Bakery4pBinEnc-FbtOneOne-Nondet-29-0.gen 888 17.094 120.606 19.437 6.827 1.581 true +real-instances-true/892/Bakery4pBinEnc-FbOneOne-Nondet-Partial-851-1.gen 892 14.557 129.161 18.623 5.586 1.392 true +real-instances-true/894/IBakery4pBinEnc-FbtOneOne-Nondet-30-0.gen 894 60.038 134.493 30.955 13.177 2.921 true +real-instances-true/897/Bakery4pBinEnc-FbtOneOne-Nondet-22-2.gen 897 108.733 134.686 42.718 16.023 4.094 true +real-instances-true/899/Bakery4pBinEnc-FbtOneOne-Nondet-21-0.gen 899 105.205 128.868 50.093 18.738 3.125 true +real-instances-true/900/Bakery4pBinEnc-FbOneOne-Nondet-Partial-874-2.gen 900 76.365 139.522 30.579 16.964 4.014 true +real-instances-true/901/Bakery4pBinEnc-FbtOneOne-Nondet-23-1.gen 901 5.761 129.199 7.469 3.936 0.888 true +real-instances-true/902/IBakery5PUnrEnc-Rev-FlOneOne-Nondet-Partial-2-0.gen 902 8.169 fail 14.342 5.441 1.273 true +real-instances-true/903/IBakery4pBinEnc-FbtOneOne-Nondet-7-1.gen 903 18.381 127.444 16.644 7.479 1.861 true +real-instances-true/904/IBakery4pBinEnc-FbtOneOne-Nondet-9-1.gen 904 38.911 97.089 31.071 9.910 2.288 true +real-instances-true/909/Bakery4pBinEnc-FbtOneOne-Nondet-37-0.gen 909 11.611 149.509 10.488 5.395 2.157 true +real-instances-true/918/Bakery4pBinEnc-FbOneOne-Nondet-Partial-863-0.gen 918 55.386 103.915 32.303 13.947 2.871 true +real-instances-true/919/IBakery4pBinEnc-FbtOneOne-Nondet-59-1.gen 919 48.633 180.121 23.273 10.057 1.902 true +real-instances-true/926/Bakery4pBinEnc-FbtOneOne-Nondet-53-1.gen 926 123.326 130.835 35.062 15.082 3.609 true +real-instances-true/927/IBakery4pBinEnc-FbtOneOne-Nondet-51-2.gen 927 87.005 134.988 36.173 12.005 2.545 true +real-instances-true/929/IBakery4pBinEnc-FbtOneOne-Nondet-19-0.gen 929 37.304 131.057 26.292 11.300 2.341 true +real-instances-true/930/Bakery4pBinEnc-FbtOneOne-Nondet-52-1.gen 930 73.582 151.484 30.466 11.914 2.487 true +real-instances-true/939/IBakery4pBinEnc-FbtOneOne-Nondet-44-0.gen 939 3.027 166.354 4.082 1.603 0.441 true +real-instances-true/940/IBakery4pBinEnc-FbtOneOne-Nondet-38-1.gen 940 116.330 106.530 35.484 14.139 3.482 true +real-instances-true/942/Bakery4pBinEnc-FbOneOne-Nondet-Partial-918-2.gen 942 126.734 100.906 36.729 15.654 3.387 true +real-instances-true/947/IBakery4pBinEnc-FlOneOne-Nondet-555-0.gen 947 14.432 105.444 11.817 5.117 1.511 true +real-instances-true/949/Bakery4pBinEnc-FbtOneOne-Nondet-14-2.gen 949 114.838 85.196 33.382 14.490 3.268 true +real-instances-true/950/Bakery4pBinEnc-FbtOneOne-Nondet-47-2.gen 950 106.848 112.801 32.457 13.213 2.844 true +real-instances-true/953/Bakery4pBinEnc-FbtOneOne-Nondet-36-1.gen 953 40.598 124.300 21.199 8.402 1.686 true +real-instances-true/957/IBakery4pBinEnc-FbOneOne-Nondet-Partial-907-2.gen 957 2.806 127.778 6.572 1.962 0.651 true +real-instances-true/966/Bakery4pBinEnc-FbtOneOne-Nondet-42-2.gen 966 4.703 130.668 7.703 2.886 0.675 true +real-instances-true/977/IBakery4pBinEnc-FlOneOne-Nondet-560-2.gen 977 76.388 84.142 24.766 9.723 2.173 true +real-instances-true/981/IBakery4pBinEnc-FbtOneOne-Nondet-43-1.gen 981 129.722 103.772 38.981 14.427 3.353 true +real-instances-true/994/IBakery4pBinEnc-FbOneOne-Nondet-Partial-951-1.gen 994 8.173 120.834 7.866 3.053 0.698 true +real-instances-true/1000/IBakery4pBinEnc-FbtOneOne-Nondet-63-0.gen 1000 190.987 195.245 61.183 27.188 5.626 true +real-instances-true/1011/Bakery4pBinEnc-FbtOneOne-Nondet-87-1.gen 1011 33.914 201.832 31.137 10.229 2.175 true +real-instances-true/1019/Bakery4pBinEnc-FbtOneOne-Nondet-81-1.gen 1019 144.253 219.338 67.862 21.667 5.856 true +real-instances-true/1021/IBakery4pBinEnc-FbtOneOne-Nondet-82-1.gen 1021 149.678 193.923 46.364 18.142 3.414 true +real-instances-true/1022/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-190-0.gen 1022 6.963 146.208 6.184 2.574 0.636 true +real-instances-true/1029/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-187-2.gen 1029 27.342 152.398 21.601 8.256 1.772 true +real-instances-true/1031/IBakery4pBinEnc-FlOneOne-Nondet-564-1.gen 1031 111.844 157.186 34.872 19.065 3.398 true +real-instances-true/1037/Bakery4pBinEnc-FbtOneOne-Nondet-64-2.gen 1037 77.222 168.281 45.080 16.694 2.513 true +real-instances-true/1042/Bakery4pBinEnc-FbtOneOne-Nondet-86-2.gen 1042 182.470 207.231 53.635 23.455 8.023 true +real-instances-true/1047/Bakery4pBinEnc-FbtOneOne-Nondet-74-1.gen 1047 34.008 207.147 25.213 7.199 1.874 true +real-instances-true/1051/IBakery4pBinEnc-FbtOneOne-Nondet-62-1.gen 1051 12.096 207.679 16.261 4.142 1.199 true +real-instances-true/1052/IBakery4pBinEnc-FbtOneOne-Nondet-69-2.gen 1052 212.985 203.880 62.947 22.198 5.612 true +real-instances-true/1055/IBakery4pBinEnc-FbtOneOne-Nondet-78-1.gen 1055 245.525 224.324 61.335 23.392 6.982 true +real-instances-true/1059/Bakery4pBinEnc-FbtOneOne-Nondet-76-2.gen 1059 0.100 208.807 0.173 0.066 0.211 true +real-instances-true/1070/Bakery4pBinEnc-FbOneOne-Nondet-Partial-974-1.gen 1070 0.638 201.772 2.434 0.978 0.426 true +real-instances-true/1074/IBakery4pBinEnc-FbtOneOne-Nondet-94-2.gen 1074 1.721 227.083 2.629 0.961 0.542 true +real-instances-true/1075/IBakery4pBinEnc-FbtOneOne-Nondet-70-0.gen 1075 187.219 231.915 60.579 24.984 5.930 true +real-instances-true/1083/IBakery5PUnrEnc-FlOneOne-Nondet-7-1.gen 1083 0.112 260.399 0.430 0.142 0.368 true +real-instances-true/1085/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1029-1.gen 1085 237.765 198.646 63.487 27.431 5.807 true +real-instances-true/1086/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-196-2.gen 1086 236.505 135.542 62.033 21.307 5.231 true +real-instances-true/1094/Bakery4pBinEnc-FlOneOne-Nondet-569-1.gen 1094 1.381 160.056 2.480 1.054 0.505 true +real-instances-true/1095/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1018-0.gen 1095 54.912 208.405 32.006 10.980 1.935 true +real-instances-true/1096/IBakery5PUnrEnc-FbtOneOne-Nondet-7-1.gen 1096 210.743 280.588 50.871 17.743 4.448 true +real-instances-true/1099/Bakery4pBinEnc-FbtOneOne-Nondet-102-0.gen 1099 39.914 251.677 31.543 10.169 2.075 true +real-instances-true/1106/Bakery4pBinEnc-FbtOneOne-Nondet-96-2.gen 1106 14.304 247.368 12.514 3.762 1.478 true +real-instances-true/1107/Bakery4pBinEnc-FbtOneOne-Nondet-98-0.gen 1107 179.074 230.475 50.088 20.917 5.488 true +real-instances-true/1108/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-18-2.gen 1108 109.883 210.502 35.743 17.994 3.636 true +real-instances-true/1111/Bakery4pBinEnc-FbtOneOne-Nondet-97-1.gen 1111 5.701 262.803 6.729 2.744 0.953 true +real-instances-true/1114/IBakery4pBinEnc-FlOneOne-Nondet-20-1.gen 1114 0.214 183.611 0.825 0.394 0.435 true +real-instances-true/1118/IBakery4pBinEnc-FlOneOne-Nondet-14-1.gen 1118 61.562 189.426 32.830 11.715 3.382 true +real-instances-true/1128/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-15-1.gen 1128 213.133 202.452 61.039 22.009 4.383 true +real-instances-true/1130/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1062-0.gen 1130 211.444 256.053 54.381 28.715 5.920 true +real-instances-true/1137/Bakery4pBinEnc-FbOneOne-Nondet-Partial-101-0.gen 1137 187.427 275.706 96.227 23.666 7.045 true +real-instances-true/1139/IBakery4pBinEnc-FlOneOne-Nondet-16-2.gen 1139 10.165 193.045 9.266 3.769 0.886 true +real-instances-true/1142/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-10-1.gen 1142 92.807 182.277 36.037 14.913 2.769 true +real-instances-true/1143/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-22-2.gen 1143 67.784 168.481 39.170 15.119 2.848 true +real-instances-true/1144/Bakery4pBinEnc-FbOneOne-Nondet-Partial-99-0.gen 1144 32.740 239.413 23.771 10.828 2.174 true +real-instances-true/1146/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-37-2.gen 1146 55.570 249.910 29.322 12.615 3.725 true +real-instances-true/1148/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-5-2.gen 1148 15.292 189.251 14.419 6.931 1.576 true +real-instances-true/1150/Bakery4pBinEnc-FbOneOne-Nondet-Partial-131-2.gen 1150 156.182 278.378 76.254 19.005 5.437 true +real-instances-true/1151/IBakery4pBinEnc-FbOneOne-Nondet-Partial-100-1.gen 1151 232.212 218.692 83.128 31.611 6.015 true +real-instances-true/1152/Bakery4pBinEnc-FlOneOne-Nondet-27-0.gen 1152 50.138 220.929 25.642 11.163 2.393 true +real-instances-true/1160/Bakery4pBinEnc-FbtOneOne-Nondet-106-0.gen 1160 fail 292.669 95.640 34.189 5.863 true +real-instances-true/1161/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-12-2.gen 1161 0.761 216.694 2.168 0.890 0.441 true +real-instances-true/1162/IBakery4pBinEnc-FbOneOne-Nondet-Partial-133-1.gen 1162 56.860 fail 32.954 12.194 3.285 true +real-instances-true/1163/IBakery4pBinEnc-FbOneOne-Nondet-Partial-109-2.gen 1163 0.916 279.987 3.378 1.176 0.504 true +real-instances-true/1168/IBakery4pBinEnc-FbtOneOne-Nondet-111-1.gen 1168 181.190 fail 61.833 25.581 4.733 true +real-instances-true/1170/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-4-0.gen 1170 fail 207.433 58.651 25.582 5.135 true +real-instances-true/1172/Bakery4pBinEnc-FbOneOne-Nondet-Partial-105-1.gen 1172 8.638 275.736 11.384 4.205 1.106 true +real-instances-true/1174/IBakery4pBinEnc-FbOneOne-Nondet-Partial-69-0.gen 1174 158.176 255.146 71.090 18.126 5.200 true +real-instances-true/1176/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-47-1.gen 1176 151.900 258.024 48.793 19.854 4.700 true +real-instances-true/1179/IBakery4pBinEnc-FbOneOne-Nondet-Partial-135-2.gen 1179 124.424 293.983 71.117 17.907 5.169 true +real-instances-true/1182/Bakery4pBinEnc-FlOneOne-Nondet-3-1.gen 1182 79.206 202.584 31.436 15.076 4.305 true +real-instances-true/1183/Bakery5PUnrEnc-FbtOneOne-Nondet-6-0.gen 1183 33.096 fail 20.015 7.921 2.660 true +real-instances-true/1186/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-14-0.gen 1186 131.128 fail 37.338 14.603 3.154 true +real-instances-true/1187/Bakery4pBinEnc-FbOneOne-Nondet-Partial-126-1.gen 1187 0.670 fail 1.610 0.617 0.440 true +real-instances-true/1189/IBakery4pBinEnc-FlOneOne-Nondet-29-1.gen 1189 fail 259.375 76.217 27.105 6.876 true +real-instances-true/1194/Bakery4pBinEnc-FbOneOne-Nondet-Partial-114-2.gen 1194 1.026 280.454 1.686 0.720 0.349 true +real-instances-true/1200/Bakery4pBinEnc-FlOneOne-Nondet-48-2.gen 1200 28.196 293.501 18.700 9.443 2.032 true +real-instances-true/1202/IBakery4pBinEnc-FbOneOne-Nondet-Partial-47-0.gen 1202 fail 293.229 84.490 36.056 9.808 true +real-instances-true/1203/Bakery4pBinEnc-FlOneOne-Nondet-36-1.gen 1203 63.652 225.239 35.879 11.152 3.110 true +real-instances-true/1207/Bakery4pBinEnc-FbOneOne-Nondet-Partial-132-1.gen 1207 226.093 288.365 61.712 34.819 6.952 true +real-instances-true/1212/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-41-0.gen 1212 194.110 294.742 56.419 21.905 3.838 true +real-instances-true/1213/IBakery4pBinEnc-FbtOneOne-Nondet-110-2.gen 1213 256.298 fail 71.901 28.961 6.599 true +real-instances-true/1217/IBakery4pBinEnc-FlOneOne-Nondet-42-0.gen 1217 35.403 289.167 28.994 7.222 2.102 true +real-instances-true/1222/Bakery4pBinEnc-FbOneOne-Nondet-Partial-125-2.gen 1222 27.983 fail 21.263 9.782 1.643 true +real-instances-true/1225/IBakery4pBinEnc-FbOneOne-Nondet-Partial-124-0.gen 1225 fail fail 99.694 32.862 7.195 true +real-instances-true/1233/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-52-2.gen 1233 fail 258.812 79.537 37.642 8.448 true +real-instances-true/1237/Bakery4pBinEnc-FbOneOne-Nondet-Partial-120-2.gen 1237 fail 272.111 74.396 31.564 7.583 true +real-instances-true/1245/Bakery4pBinEnc-FlOneOne-Nondet-89-1.gen 1245 3.160 fail 9.701 3.612 1.040 true +real-instances-true/1246/Bakery4pBinEnc-FbOneOne-Nondet-Partial-115-1.gen 1246 164.803 fail 48.087 17.379 4.657 true +real-instances-true/1248/IBakery5PUnrEnc-FlOneOne-Nondet-9-2.gen 1248 fail fail 74.257 23.870 7.661 true +real-instances-true/1250/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-13-0.gen 1250 49.176 fail 20.476 7.845 2.169 true +real-instances-true/1257/IBakery4pBinEnc-FbOneOne-Nondet-Partial-121-0.gen 1257 121.018 272.221 56.276 16.085 3.788 true +real-instances-true/1258/IBakery5PUnrEnc-FbtOneOne-Nondet-14-2.gen 1258 fail fail 64.780 31.562 5.861 true +real-instances-true/1277/Bakery4pBinEnc-FbOneOne-Nondet-Partial-161-0.gen 1277 70.327 fail 37.748 17.032 3.608 true +real-instances-true/1281/IBakery4pBinEnc-FlOneOne-Nondet-96-2.gen 1281 fail fail 68.223 23.896 5.394 true +real-instances-true/1282/IBakery4pBinEnc-FbtOneOne-Nondet-165-0.gen 1282 288.117 fail 84.919 24.613 5.838 true +real-instances-true/1283/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-94-1.gen 1283 fail 285.949 69.622 32.255 6.741 true +real-instances-true/1286/Bakery4pBinEnc-FbtOneOne-Nondet-158-2.gen 1286 96.725 fail 49.707 16.367 4.303 true +real-instances-true/1287/IBakery4pBinEnc-FbOneOne-Nondet-Partial-148-0.gen 1287 95.281 fail 36.674 17.399 4.320 true +real-instances-true/1288/Bakery4pBinEnc-FbOneOne-Nondet-Partial-160-0.gen 1288 58.102 fail 40.830 16.424 2.494 true +real-instances-true/1290/IBakery4pBinEnc-FbOneOne-Nondet-Partial-145-1.gen 1290 fail fail 79.752 29.695 5.611 true +real-instances-true/1291/Bakery4pBinEnc-FbOneOne-Nondet-Partial-159-0.gen 1291 35.953 fail 25.735 8.587 1.909 true +real-instances-true/1293/IBakery4pBinEnc-FbtOneOne-Nondet-117-0.gen 1293 5.476 fail 7.743 2.991 0.711 true +real-instances-true/1296/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-92-1.gen 1296 256.104 fail 69.026 27.135 6.118 true +real-instances-true/1297/Bakery4pBinEnc-FlOneOne-Nondet-66-0.gen 1297 173.122 fail 58.195 20.512 4.499 true +real-instances-true/1299/IBakery5PUnrEnc-Rev-FbOneOne-Nondet-Partial-2-1.gen 1299 4.446 fail 10.175 3.315 0.775 true +real-instances-true/1300/Bakery4pBinEnc-FbtOneOne-Nondet-167-2.gen 1300 189.647 fail 60.261 21.030 4.172 true +real-instances-true/1301/IBakery4pBinEnc-FlOneOne-Nondet-63-0.gen 1301 38.105 fail 24.618 7.739 1.885 true +real-instances-true/1305/IBakery4pBinEnc-FbOneOne-Nondet-Partial-144-0.gen 1305 135.369 fail 45.882 20.314 4.257 true +real-instances-true/1307/IBakery4pBinEnc-FbOneOne-Nondet-Partial-164-2.gen 1307 8.784 fail 9.198 3.523 1.607 true +real-instances-true/1311/Bakery4pBinEnc-FbOneOne-Nondet-Partial-156-0.gen 1311 14.711 fail 13.611 5.733 1.574 true +real-instances-true/1313/Bakery4pBinEnc-FbOneOne-Nondet-Partial-169-0.gen 1313 fail fail 86.406 37.912 5.723 true +real-instances-true/1314/IBakery4pBinEnc-FbtOneOne-Nondet-156-0.gen 1314 fail fail 92.890 39.698 8.007 true +real-instances-true/1318/IBakery5PUnrEnc-FlOneOne-Nondet-52-1.gen 1318 252.049 fail 44.596 17.383 5.024 true +real-instances-true/1321/IBakery4pBinEnc-FlOneOne-Nondet-71-2.gen 1321 190.863 fail 50.933 17.187 3.579 true +real-instances-true/1323/Bakery5PUnrEnc-FlOneOne-Nondet-53-2.gen 1323 150.305 fail 30.932 14.447 3.325 true +real-instances-true/1325/IBakery4pBinEnc-FlOneOne-Nondet-67-0.gen 1325 14.629 fail 11.719 6.265 1.701 true +real-instances-true/1331/IBakery4pBinEnc-FbOneOne-Nondet-Partial-171-0.gen 1331 279.712 fail 69.049 26.565 5.958 true +real-instances-true/1333/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-58-1.gen 1333 88.909 fail 38.156 11.790 3.263 true +real-instances-true/1336/IBakery4pBinEnc-FlOneOne-Nondet-97-1.gen 1336 255.504 fail 64.228 31.812 7.423 true +real-instances-true/1337/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-81-1.gen 1337 190.373 fail 48.536 17.750 4.688 true +real-instances-true/1339/IBakery4pBinEnc-FbtOneOne-Nondet-151-1.gen 1339 27.505 fail 15.012 8.815 1.797 true +real-instances-true/1341/IBakery5PUnrEnc-FlOneOne-Nondet-51-0.gen 1341 54.958 fail 29.704 8.347 1.915 true +real-instances-true/1342/Bakery4pBinEnc-FlOneOne-Nondet-72-0.gen 1342 221.576 fail 48.786 21.992 6.221 true +real-instances-true/1344/IBakery4pBinEnc-FlOneOne-Nondet-98-2.gen 1344 130.240 fail 46.116 16.421 3.752 true +real-instances-true/1346/Bakery4pBinEnc-FlOneOne-Nondet-62-0.gen 1346 fail fail 95.919 41.448 8.918 true +real-instances-true/1349/IBakery4pBinEnc-FbOneOne-Nondet-Partial-170-2.gen 1349 98.088 fail 43.345 14.510 2.525 true +real-instances-true/1351/IBakery4pBinEnc-FbtOneOne-Nondet-116-0.gen 1351 fail fail 83.172 34.259 7.569 true +real-instances-true/1353/IBakery5PUnrEnc-FbtOneOne-Nondet-16-2.gen 1353 69.634 fail 21.188 9.070 2.012 true +real-instances-true/1354/Bakery4pBinEnc-FlOneOne-Nondet-82-1.gen 1354 195.425 fail 56.059 22.984 4.675 true +real-instances-true/1356/IBakery4pBinEnc-FbtOneOne-Nondet-132-0.gen 1356 7.615 fail 8.249 3.653 0.959 true +real-instances-true/1357/IBakery5PUnrEnc-FbtOneOne-Nondet-70-0.gen 1357 17.010 fail 9.574 5.524 1.184 true +real-instances-true/1363/Bakery4pBinEnc-FbtOneOne-Nondet-128-1.gen 1363 289.707 fail 85.987 45.615 12.171 true +real-instances-true/1368/Bakery5PUnrEnc-FbtOneOne-Nondet-71-0.gen 1368 47.855 fail 21.304 10.593 2.293 true +real-instances-true/1369/IBakery4pBinEnc-FlOneOne-Nondet-59-1.gen 1369 37.298 fail 23.701 10.970 2.577 true +real-instances-true/1370/Bakery4pBinEnc-FbtOneOne-Nondet-130-0.gen 1370 5.630 fail 10.577 4.254 1.019 true +real-instances-true/1372/IBakery4pBinEnc-FbtOneOne-Nondet-133-2.gen 1372 23.050 fail 26.842 7.682 2.079 true +real-instances-true/1375/Bakery4pBinEnc-FbtOneOne-Nondet-140-0.gen 1375 94.246 fail 42.790 19.059 4.567 true +real-instances-true/1376/Bakery4pBinEnc-FbtOneOne-Nondet-144-2.gen 1376 21.487 fail 18.272 9.138 2.042 true +real-instances-true/1378/IBakery5PUnrEnc-FlOneOne-Nondet-8-0.gen 1378 212.950 fail 53.557 19.344 5.436 true +real-instances-true/1379/Bakery4pBinEnc-FbtOneOne-Nondet-145-0.gen 1379 108.928 fail 62.501 19.820 5.737 true +real-instances-true/1383/Bakery4pBinEnc-FbtOneOne-Nondet-122-0.gen 1383 133.037 fail 49.971 34.276 4.967 true +real-instances-true/1385/IBakery4pBinEnc-FbtOneOne-Nondet-170-2.gen 1385 54.735 fail 32.113 11.384 3.122 true +real-instances-true/1391/IBakery4pBinEnc-FbOneOne-Nondet-Partial-172-2.gen 1391 6.661 fail 13.904 3.754 1.556 true +real-instances-true/1394/Bakery4pBinEnc-FbtOneOne-Nondet-184-2.gen 1394 20.391 fail 17.130 7.408 2.440 true +real-instances-true/1396/Bakery4pBinEnc-FbOneOne-Nondet-Partial-175-2.gen 1396 fail fail 104.699 46.438 9.861 true +real-instances-true/1398/IBakery4pBinEnc-FbtOneOne-Nondet-213-1.gen 1398 268.217 fail 101.143 33.780 7.852 true +real-instances-true/1400/Bakery4pBinEnc-FbtOneOne-Nondet-211-2.gen 1400 25.324 fail 24.709 8.143 2.776 true +real-instances-true/1402/Bakery5PUnrEnc-FlOneOne-Nondet-49-0.gen 1402 fail fail 104.752 40.968 8.931 true +real-instances-true/1404/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-20-2.gen 1404 77.935 fail 27.914 16.672 4.508 true +real-instances-true/1405/IBakery4pBinEnc-FbtOneOne-Nondet-120-2.gen 1405 fail fail 112.168 44.154 9.909 true +real-instances-true/1408/Bakery4pBinEnc-FbtOneOne-Nondet-188-2.gen 1408 6.119 fail 11.959 8.167 0.916 true +real-instances-true/1411/IBakery4pBinEnc-FbtOneOne-Nondet-210-0.gen 1411 18.841 fail 21.238 8.635 2.539 true +real-instances-true/1412/IBakery4pBinEnc-FbtOneOne-Nondet-147-2.gen 1412 149.462 fail 65.164 26.073 7.601 true +real-instances-true/1415/IBakery4pBinEnc-FbtOneOne-Nondet-220-1.gen 1415 86.336 fail 55.920 24.177 7.224 true +real-instances-true/1417/Bakery4pBinEnc-FlOneOne-Nondet-103-0.gen 1417 3.754 fail 4.784 2.660 0.844 true +real-instances-true/1418/Bakery4pBinEnc-FbtOneOne-Nondet-174-2.gen 1418 62.477 fail 42.633 29.564 7.083 true +real-instances-true/1421/Bakery4pBinEnc-FbtOneOne-Nondet-206-1.gen 1421 18.849 fail 27.380 12.475 3.552 true +real-instances-true/1425/IBakery4pBinEnc-FbtOneOne-Nondet-177-0.gen 1425 113.621 fail 69.852 35.258 4.884 true +real-instances-true/1426/IBakery5PUnrEnc-FbtOneOne-Nondet-18-0.gen 1426 3.290 fail 4.787 2.271 1.096 true +real-instances-true/1427/Bakery4pBinEnc-FbtOneOne-Nondet-200-2.gen 1427 fail fail 115.439 50.327 9.023 true +real-instances-true/1429/IBakery4pBinEnc-FbtOneOne-Nondet-172-1.gen 1429 267.058 fail 70.840 25.103 7.187 true +real-instances-true/1430/IBakery4pBinEnc-FbtOneOne-Nondet-196-1.gen 1430 123.485 fail 52.773 28.522 5.104 true +real-instances-true/1434/IBakery4pBinEnc-FbtOneOne-Nondet-198-0.gen 1434 3.480 fail 10.033 3.666 1.777 true +real-instances-true/1438/IBakery4pBinEnc-FbtOneOne-Nondet-180-2.gen 1438 13.151 fail 20.864 8.826 2.127 true +real-instances-true/1440/Bakery4pBinEnc-FbtOneOne-Nondet-204-0.gen 1440 fail fail 114.326 45.993 11.175 true +real-instances-true/1443/Bakery4pBinEnc-FbtOneOne-Nondet-178-1.gen 1443 fail fail 87.648 33.537 7.946 true +real-instances-true/1445/Bakery4pBinEnc-FlOneOne-Nondet-522-1.gen 1445 fail fail 149.229 48.954 12.624 true +real-instances-true/1449/Bakery4pBinEnc-FlOneOne-Nondet-525-0.gen 1449 fail fail 92.015 40.675 9.292 true +real-instances-true/1451/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-19-0.gen 1451 fail fail 76.849 27.001 7.098 true +real-instances-true/1452/IBakery4pBinEnc-FbtOneOne-Nondet-199-0.gen 1452 fail fail 105.437 44.716 11.714 true +real-instances-true/1454/IBakery4pBinEnc-FbOneOne-Nondet-Partial-182-0.gen 1454 fail fail 93.228 37.971 5.195 true +real-instances-true/1462/Bakery4pBinEnc-FbtOneOne-Nondet-173-2.gen 1462 fail fail 122.764 51.183 8.922 true +real-instances-true/1473/Bakery4pBinEnc-FbtOneOne-Nondet-202-1.gen 1473 fail fail 108.560 49.334 13.415 true +real-instances-true/1486/Bakery5PUnrEnc-FbtOneOne-Nondet-66-1.gen 1486 fail fail 87.407 33.223 7.418 true +real-instances-true/1490/IBakery5PUnrEnc-FbtOneOne-Nondet-17-1.gen 1490 fail fail 92.655 34.257 8.007 true +real-instances-true/1495/Bakery4pBinEnc-FbOneOne-Nondet-Partial-181-2.gen 1495 fail fail 112.284 45.258 8.664 true +real-instances-true/1498/Bakery4pBinEnc-FbtOneOne-Nondet-244-2.gen 1498 211.660 fail 66.243 25.386 4.750 true +real-instances-true/1501/Bakery4pBinEnc-FbOneOne-Nondet-Partial-187-1.gen 1501 fail fail 108.427 48.172 12.169 true +real-instances-true/1505/IBakery4pBinEnc-FlOneOne-Nondet-102-0.gen 1505 5.286 fail 5.036 2.599 0.852 true +real-instances-true/1509/Bakery4pBinEnc-FbtOneOne-Nondet-222-0.gen 1509 fail fail 126.004 60.905 14.460 true +real-instances-true/1510/IBakery4pBinEnc-FbtOneOne-Nondet-241-2.gen 1510 fail fail 96.409 50.011 12.619 true +real-instances-true/1513/IBakery4pBinEnc-FlOneOne-Nondet-133-2.gen 1513 fail fail 139.140 54.270 17.141 true +real-instances-true/1515/IBakery4pBinEnc-FbtOneOne-Nondet-236-1.gen 1515 59.781 fail 28.633 12.710 2.246 true +real-instances-true/1518/IBakery4pBinEnc-FbtOneOne-Nondet-318-2.gen 1518 fail fail 141.546 63.255 11.348 true +real-instances-true/1525/IBakery5PUnrEnc-FbtOneOne-Nondet-64-2.gen 1525 fail fail 63.524 30.840 7.627 true +real-instances-true/1526/Bakery5PUnrEnc-FlOneOne-Nondet-19-1.gen 1526 112.774 fail 36.269 11.201 3.740 true +real-instances-true/1529/Bakery4pBinEnc-FbtOneOne-Nondet-231-2.gen 1529 95.577 fail 52.242 15.475 2.607 true +real-instances-true/1531/Bakery4pBinEnc-FbtOneOne-Nondet-233-0.gen 1531 76.480 fail 48.116 16.299 2.957 true +real-instances-true/1533/IBakery4pBinEnc-FbtOneOne-Nondet-240-0.gen 1533 fail fail 102.510 40.883 8.167 true +real-instances-true/1534/Bakery4pBinEnc-FbtOneOne-Nondet-247-1.gen 1534 fail fail 94.338 43.727 8.485 true +real-instances-true/1535/Bakery5PUnrEnc-FlOneOne-Nondet-47-1.gen 1535 fail fail 99.651 42.912 10.319 true +real-instances-true/1536/IBakery4pBinEnc-FbtOneOne-Nondet-249-1.gen 1536 fail fail 151.043 60.446 14.184 true +real-instances-true/1538/Bakery5PUnrEnc-FlOneOne-Nondet-15-0.gen 1538 26.358 fail 12.576 5.038 1.709 true +real-instances-true/1541/IBakery4pBinEnc-FlOneOne-Nondet-169-2.gen 1541 fail fail 96.151 41.792 8.423 true +real-instances-true/1544/IBakery4pBinEnc-FbtOneOne-Nondet-264-0.gen 1544 61.359 fail 37.987 13.106 3.179 true +real-instances-true/1545/Bakery4pBinEnc-FbtOneOne-Nondet-232-2.gen 1545 fail fail 116.193 35.131 7.915 true +real-instances-true/1547/Bakery4pBinEnc-FlOneOne-Nondet-132-0.gen 1547 194.656 fail 61.207 22.511 5.611 true +real-instances-true/1550/IBakery4pBinEnc-FbtOneOne-Nondet-266-0.gen 1550 fail fail 139.845 49.739 12.232 true +real-instances-true/1551/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-24-2.gen 1551 0.057 fail 0.221 0.109 0.405 true +real-instances-true/1557/IBakery5PUnrEnc-FlOneOne-Nondet-44-1.gen 1557 32.249 fail 17.484 10.906 2.748 true +real-instances-true/1558/Bakery5PUnrEnc-FlOneOne-Nondet-32-2.gen 1558 133.451 fail 40.684 14.442 3.056 true +real-instances-true/1559/Bakery4pBinEnc-FbtOneOne-Nondet-322-1.gen 1559 251.180 fail 85.317 52.882 5.891 true +real-instances-true/1560/IBakery4pBinEnc-FbtOneOne-Nondet-325-1.gen 1560 fail fail 144.819 69.906 13.744 true +real-instances-true/1562/Bakery5PUnrEnc-FlOneOne-Nondet-29-2.gen 1562 fail fail 124.422 52.178 12.109 true +real-instances-true/1564/Bakery5PUnrEnc-FlOneOne-Nondet-35-2.gen 1564 150.455 fail 43.396 13.160 4.048 true +real-instances-true/1566/Bakery5PUnrEnc-FlOneOne-Nondet-24-0.gen 1566 fail fail 99.311 32.724 6.144 true +real-instances-true/1568/IBakery4pBinEnc-FlOneOne-Nondet-125-0.gen 1568 270.725 fail 75.643 32.121 7.344 true +real-instances-true/1570/Bakery4pBinEnc-FbtOneOne-Nondet-258-2.gen 1570 4.016 fail 9.069 2.898 1.103 true +real-instances-true/1571/Bakery4pBinEnc-FbtOneOne-Nondet-230-2.gen 1571 18.533 fail 19.781 11.572 2.542 true +real-instances-true/1572/Bakery4pBinEnc-FbtOneOne-Nondet-276-1.gen 1572 173.227 fail 64.143 39.835 9.450 true +real-instances-true/1574/Bakery4pBinEnc-FbtOneOne-Nondet-263-1.gen 1574 43.476 fail 32.096 13.202 4.003 true +real-instances-true/1575/IBakery4pBinEnc-FlOneOne-Nondet-127-0.gen 1575 fail fail 187.080 55.769 16.910 true +real-instances-true/1576/Bakery5PUnrEnc-FlOneOne-Nondet-33-1.gen 1576 13.015 fail 8.980 3.939 1.487 true +real-instances-true/1577/IBakery4pBinEnc-FlOneOne-Nondet-131-0.gen 1577 fail fail 156.825 74.722 17.662 true +real-instances-true/1578/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-21-2.gen 1578 fail fail 112.232 48.960 16.695 true +real-instances-true/1582/Bakery4pBinEnc-FbtOneOne-Nondet-253-0.gen 1582 fail fail 154.222 87.267 16.394 true +real-instances-true/1585/IBakery4pBinEnc-FbtOneOne-Nondet-297-1.gen 1585 fail fail 159.674 64.938 17.041 true +real-instances-true/1586/Bakery4pBinEnc-FlOneOne-Nondet-167-2.gen 1586 61.880 fail 41.424 26.508 6.230 true +real-instances-true/1589/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-26-2.gen 1589 4.858 fail 4.775 3.419 1.033 true +real-instances-true/1591/IBakery4pBinEnc-FbtOneOne-Nondet-259-1.gen 1591 fail fail 91.132 38.249 8.389 true +real-instances-true/1593/Bakery4pBinEnc-FlOneOne-Nondet-163-2.gen 1593 fail fail 190.368 77.888 20.605 true +real-instances-true/1594/Bakery4pBinEnc-FbtOneOne-Nondet-275-0.gen 1594 86.727 fail 56.471 19.991 5.889 true +real-instances-true/1595/Bakery4pBinEnc-FbtOneOne-Nondet-281-1.gen 1595 35.117 fail 23.040 20.977 4.414 true +real-instances-true/1596/Bakery4pBinEnc-FbtOneOne-Nondet-291-0.gen 1596 fail fail 196.703 86.879 19.374 true +real-instances-true/1597/Bakery4pBinEnc-FbtOneOne-Nondet-287-0.gen 1597 fail fail 99.702 63.546 15.580 true +real-instances-true/1602/Bakery4pBinEnc-FbtOneOne-Nondet-295-1.gen 1602 4.575 fail 5.288 3.126 0.683 true +real-instances-true/1605/Bakery5PUnrEnc-FlOneOne-Nondet-21-0.gen 1605 fail fail 114.338 50.556 13.185 true +real-instances-true/1608/IBakery4pBinEnc-FlOneOne-Nondet-116-2.gen 1608 42.426 fail 32.276 15.423 3.520 true +real-instances-true/1610/Bakery4pBinEnc-FlOneOne-Nondet-115-1.gen 1610 2.113 fail 3.446 2.665 1.153 true +real-instances-true/1612/IBakery4pBinEnc-FlOneOne-Nondet-165-1.gen 1612 fail fail 148.796 72.465 13.147 true +real-instances-true/1613/Bakery4pBinEnc-FbOneOne-Nondet-Partial-193-2.gen 1613 fail fail 190.119 83.010 26.870 true +real-instances-true/1614/Bakery-4P-BinEnc-FlOneOne-Nondet-Partial-109-2.gen 1614 fail fail 121.172 52.522 13.571 true +real-instances-true/1615/Bakery4pBinEnc-FbOneOne-Nondet-Partial-199-2.gen 1615 fail fail 87.633 52.943 10.013 true +real-instances-true/1616/Bakery4pBinEnc-FbtOneOne-Nondet-286-1.gen 1616 fail fail 202.203 78.674 18.569 true +real-instances-true/1617/Bakery5PUnrEnc-FlOneOne-Nondet-31-1.gen 1617 102.691 fail 27.010 11.023 3.154 true +real-instances-true/1618/Bakery4pBinEnc-FbtOneOne-Nondet-285-2.gen 1618 36.816 fail 22.424 12.942 3.297 true +real-instances-true/1619/IBakery4pBinEnc-FbOneOne-Nondet-Partial-213-2.gen 1619 223.095 fail 95.938 42.218 10.388 true +real-instances-true/1621/Bakery4pBinEnc-FbtOneOne-Nondet-296-2.gen 1621 54.121 fail 42.134 20.308 4.531 true +real-instances-true/1622/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-30-1.gen 1622 fail fail 170.176 59.776 15.366 true +real-instances-true/1625/Bakery4pBinEnc-FbOneOne-Nondet-Partial-206-0.gen 1625 58.680 fail 32.933 16.056 4.813 true +real-instances-true/1628/IBakery4pBinEnc-FbtOneOne-Nondet-324-2.gen 1628 fail fail 173.258 59.965 13.493 true +real-instances-true/1629/Bakery4pBinEnc-FlOneOne-Nondet-151-0.gen 1629 fail fail 174.674 93.605 19.898 true +real-instances-true/1631/Bakery4pBinEnc-FlOneOne-Nondet-150-1.gen 1631 fail fail 124.941 49.716 13.048 true +real-instances-true/1632/Bakery4pBinEnc-FbOneOne-Nondet-Partial-207-2.gen 1632 129.835 fail 71.952 22.753 4.604 true +real-instances-true/1636/IBakery4pBinEnc-FlOneOne-Nondet-120-2.gen 1636 fail fail 178.766 74.323 15.427 true +real-instances-true/1637/IBakery4pBinEnc-FbOneOne-Nondet-Partial-217-0.gen 1637 fail fail 86.915 34.004 7.180 true +real-instances-true/1638/IBakery4pBinEnc-FbtOneOne-Nondet-305-0.gen 1638 fail fail 141.613 53.147 15.476 true +real-instances-true/1639/IBakery4pBinEnc-FbOneOne-Nondet-Partial-212-1.gen 1639 9.101 fail 10.389 5.605 1.793 true +real-instances-true/1640/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-35-2.gen 1640 114.297 fail 53.993 15.028 3.631 true +real-instances-true/1641/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-31-2.gen 1641 fail fail 87.271 35.529 10.626 true +real-instances-true/1643/Bakery4pBinEnc-FbOneOne-Nondet-Partial-214-0.gen 1643 fail fail 114.936 45.673 9.795 true +real-instances-true/1645/Bakery4pBinEnc-FlOneOne-Nondet-382-1.gen 1645 fail fail 135.651 54.041 12.047 true +real-instances-true/1647/Bakery4pBinEnc-FbOneOne-Nondet-Partial-220-2.gen 1647 fail fail 145.569 50.558 9.477 true +real-instances-true/1649/IBakery4pBinEnc-FbOneOne-Nondet-Partial-203-0.gen 1649 fail fail 126.288 45.875 9.702 true +real-instances-true/1650/IBakery5PUnrEnc-FbtOneOne-Nondet-60-0.gen 1650 152.664 fail 32.527 15.949 4.628 true +real-instances-true/1652/IBakery4pBinEnc-FbtOneOne-Nondet-308-1.gen 1652 fail fail 91.573 32.181 7.944 true +real-instances-true/1653/IBakery4pBinEnc-FbOneOne-Nondet-Partial-195-1.gen 1653 fail fail 112.682 41.196 9.894 true +real-instances-true/1654/Bakery4pBinEnc-FbOneOne-Nondet-Partial-198-2.gen 1654 fail fail 107.996 40.071 10.026 true +real-instances-true/1655/IBakery-4P-BinEnc-FlOneOne-Nondet-Partial-107-1.gen 1655 fail fail 68.483 30.759 8.358 true +real-instances-true/1657/IBakery4pBinEnc-FlOneOne-Nondet-111-1.gen 1657 279.674 fail 60.493 32.360 7.504 true +real-instances-true/1658/Bakery4pBinEnc-FlOneOne-Nondet-195-0.gen 1658 fail fail 81.680 47.391 9.528 true +real-instances-true/1662/Bakery4pBinEnc-FbtOneOne-Nondet-304-2.gen 1662 fail fail 127.887 70.147 16.878 true +real-instances-true/1663/Bakery-5P-UnrEnc-FbOneOne-Nondet-Partial-32-2.gen 1663 fail fail 77.919 33.033 9.303 true +real-instances-true/1665/Bakery4pBinEnc-FlOneOne-Nondet-234-0.gen 1665 9.088 fail 13.938 5.782 1.807 true +real-instances-true/1666/Bakery4pBinEnc-FlOneOne-Nondet-118-2.gen 1666 fail fail 89.418 48.606 11.024 true +real-instances-true/1667/Bakery4pBinEnc-FlOneOne-Nondet-387-0.gen 1667 fail fail 198.844 101.705 19.026 true +real-instances-true/1668/Bakery4pBinEnc-FbOneOne-Nondet-Partial-222-0.gen 1668 fail fail 213.389 96.728 18.969 true +real-instances-true/1669/Bakery4pBinEnc-FlOneOne-Nondet-207-0.gen 1669 fail fail 204.882 92.010 26.804 true +real-instances-true/1670/IBakery5PUnrEnc-FbtOneOne-Nondet-24-0.gen 1670 fail fail 96.135 43.536 10.911 true +real-instances-true/1672/IBakery4pBinEnc-FlOneOne-Nondet-148-2.gen 1672 fail fail 81.850 54.572 10.700 true +real-instances-true/1673/Bakery4pBinEnc-FlOneOne-Nondet-239-2.gen 1673 fail fail 200.062 120.932 31.667 true +real-instances-true/1681/Bakery4pBinEnc-FlOneOne-Nondet-126-0.gen 1681 fail fail 177.733 78.994 21.451 true +real-instances-true/1684/IBakery4pBinEnc-FlOneOne-Nondet-173-2.gen 1684 23.923 fail 26.120 8.274 3.299 true +real-instances-true/1686/Bakery4pBinEnc-FlOneOne-Nondet-140-1.gen 1686 fail fail 127.301 58.307 15.896 true +real-instances-true/1687/Bakery4pBinEnc-FlOneOne-Nondet-161-0.gen 1687 fail fail 90.698 42.154 8.994 true +real-instances-true/1693/IBakery4pBinEnc-FlOneOne-Nondet-203-2.gen 1693 fail fail 183.805 103.962 17.319 true +real-instances-true/1695/IBakery4pBinEnc-FlOneOne-Nondet-383-0.gen 1695 228.235 fail 74.664 34.189 4.959 true +real-instances-true/1698/Bakery4pBinEnc-FlOneOne-Nondet-449-2.gen 1698 fail fail 217.098 94.857 25.602 true +real-instances-true/1700/Bakery4pBinEnc-FlOneOne-Nondet-520-2.gen 1700 fail fail 204.589 95.251 21.393 true +real-instances-true/1713/Bakery4pBinEnc-FlOneOne-Nondet-209-2.gen 1713 181.858 fail 70.301 36.344 7.420 true +real-instances-true/1721/Bakery4pBinEnc-FlOneOne-Nondet-242-2.gen 1721 23.490 fail 19.475 12.287 3.055 true +real-instances-true/1724/Bakery4pBinEnc-FlOneOne-Nondet-443-1.gen 1724 fail fail 230.002 104.645 21.293 true +real-instances-true/1727/Bakery4pBinEnc-FlOneOne-Nondet-389-0.gen 1727 fail fail 173.614 81.124 21.611 true +real-instances-true/1728/Bakery4pBinEnc-FlOneOne-Nondet-447-1.gen 1728 fail fail 124.114 50.444 8.093 true +real-instances-true/1729/IBakery4pBinEnc-FlOneOne-Nondet-420-1.gen 1729 fail fail 176.861 76.166 23.211 true +real-instances-true/1731/IBakery5PUnrEnc-FbtOneOne-Nondet-26-2.gen 1731 fail fail 82.205 38.121 9.554 true +real-instances-true/1733/IBakery4pBinEnc-FlOneOne-Nondet-189-0.gen 1733 fail fail 150.690 55.899 10.265 true +real-instances-true/1735/Bakery4pBinEnc-FlOneOne-Nondet-185-2.gen 1735 fail fail 109.936 44.019 16.546 true +real-instances-true/1740/Bakery4pBinEnc-FlOneOne-Nondet-177-1.gen 1740 fail fail 212.682 94.344 24.817 true +real-instances-true/1753/Bakery4pBinEnc-FlOneOne-Nondet-208-2.gen 1753 4.570 fail 7.726 4.143 1.445 true +real-instances-true/1756/Bakery4pBinEnc-FlOneOne-Nondet-194-0.gen 1756 fail fail 132.893 57.130 12.503 true +real-instances-true/1759/Bakery4pBinEnc-FlOneOne-Nondet-456-2.gen 1759 137.256 fail 58.601 36.597 7.709 true +real-instances-true/1770/Bakery4pBinEnc-FlOneOne-Nondet-193-2.gen 1770 fail fail 159.373 73.263 21.617 true +real-instances-true/1773/IBakery4pBinEnc-FbtOneOne-Nondet-329-0.gen 1773 fail fail 198.460 85.082 22.620 true +real-instances-true/1775/Bakery4pBinEnc-FlOneOne-Nondet-418-2.gen 1775 fail fail 132.510 53.463 16.182 true +real-instances-true/1781/IBakery4pBinEnc-FlOneOne-Nondet-411-1.gen 1781 fail fail 227.411 93.570 28.727 true +real-instances-true/1784/Bakery4pBinEnc-FlOneOne-Nondet-451-1.gen 1784 fail fail 240.103 129.601 29.461 true +real-instances-true/1785/IBakery4pBinEnc-FlOneOne-Nondet-226-0.gen 1785 138.030 fail 55.757 20.292 4.115 true +real-instances-true/1787/IBakery4pBinEnc-FlOneOne-Nondet-217-1.gen 1787 fail fail 172.706 80.099 16.602 true +real-instances-true/1788/IBakery4pBinEnc-FlOneOne-Nondet-188-2.gen 1788 fail fail 252.454 85.766 29.380 true +real-instances-true/1789/IBakery4pBinEnc-FlOneOne-Nondet-466-2.gen 1789 fail fail 212.584 79.542 15.456 true +real-instances-true/1793/IBakery5PUnrEnc-FbtOneOne-Nondet-31-1.gen 1793 fail fail 98.470 43.406 11.962 true +real-instances-true/1794/IBakery4pBinEnc-FlOneOne-Nondet-216-2.gen 1794 fail fail 131.113 54.723 9.771 true +real-instances-true/1795/IBakery4pBinEnc-FlOneOne-Nondet-419-2.gen 1795 fail fail 130.116 47.603 10.556 true +real-instances-true/1797/IBakery4pBinEnc-FlOneOne-Nondet-232-2.gen 1797 fail fail 177.759 70.699 17.078 true +real-instances-true/1803/IBakery4pBinEnc-FlOneOne-Nondet-381-0.gen 1803 fail fail 154.818 53.399 16.574 true +real-instances-true/1805/IBakery4pBinEnc-FlOneOne-Nondet-414-0.gen 1805 fail fail 220.576 107.963 29.514 true +real-instances-true/1806/IBakery4pBinEnc-FlOneOne-Nondet-480-1.gen 1806 fail fail 164.703 52.540 11.218 true +real-instances-true/1807/IBakery4pBinEnc-FlOneOne-Nondet-465-2.gen 1807 264.232 fail 89.788 30.073 5.768 true +real-instances-true/1808/IBakery4pBinEnc-FlOneOne-Nondet-227-2.gen 1808 70.475 fail 37.765 19.783 4.458 true +real-instances-true/1813/IBakery4pBinEnc-FlOneOne-Nondet-478-1.gen 1813 80.284 fail 36.673 18.282 3.672 true +real-instances-true/1819/Bakery4pBinEnc-FlOneOne-Nondet-425-2.gen 1819 fail fail 139.678 91.608 16.440 true +real-instances-true/1820/Bakery4pBinEnc-FlOneOne-Nondet-175-1.gen 1820 fail fail 156.925 99.329 18.284 true +real-instances-true/1821/IBakery5PUnrEnc-FbtOneOne-Nondet-33-1.gen 1821 fail fail 45.090 31.744 7.408 true +real-instances-true/1824/Bakery4pBinEnc-FlOneOne-Nondet-219-2.gen 1824 fail fail 162.196 67.387 12.445 true +real-instances-true/1828/IBakery4pBinEnc-FlOneOne-Nondet-215-2.gen 1828 fail fail 207.755 65.252 17.139 true +real-instances-true/1833/IBakery4pBinEnc-FlOneOne-Nondet-461-1.gen 1833 fail fail 225.920 93.895 20.122 true +real-instances-true/1834/IBakery4pBinEnc-FbOneOne-Nondet-Partial-229-2.gen 1834 fail fail 127.847 58.792 10.209 true +real-instances-true/1838/Bakery4pBinEnc-FlOneOne-Nondet-438-0.gen 1838 fail fail 111.957 45.847 8.119 true +real-instances-true/1841/IBakery4pBinEnc-FlOneOne-Nondet-455-0.gen 1841 fail fail 162.312 52.819 18.360 true +real-instances-true/1842/Bakery4pBinEnc-FlOneOne-Nondet-426-2.gen 1842 fail fail 218.684 118.707 23.870 true +real-instances-true/1845/IBakery4pBinEnc-FlOneOne-Nondet-515-0.gen 1845 fail fail 208.514 103.755 22.630 true +real-instances-true/1855/Bakery4pBinEnc-FlOneOne-Nondet-469-0.gen 1855 fail fail 115.293 41.519 8.324 true +real-instances-true/1856/Bakery4pBinEnc-FlOneOne-Nondet-375-1.gen 1856 fail fail 183.707 99.377 20.290 true +real-instances-true/1857/Bakery4pBinEnc-FlOneOne-Nondet-310-0.gen 1857 fail fail 111.959 62.794 13.609 true +real-instances-true/1858/IBakery4pBinEnc-FlOneOne-Nondet-391-1.gen 1858 fail fail 97.518 36.542 10.587 true +real-instances-true/1860/Bakery4pBinEnc-FlOneOne-Nondet-485-2.gen 1860 fail fail 86.836 45.117 9.753 true +real-instances-true/1862/IBakery4pBinEnc-FlOneOne-Nondet-404-0.gen 1862 fail fail 211.199 86.771 19.578 true +real-instances-true/1866/Bakery4pBinEnc-FlOneOne-Nondet-439-1.gen 1866 fail fail 246.895 119.077 17.549 true +real-instances-true/1870/Bakery4pBinEnc-FbtOneOne-Nondet-381-0.gen 1870 7.223 fail 10.761 5.237 1.381 true +real-instances-true/1871/Bakery4pBinEnc-FbtOneOne-Nondet-428-2.gen 1871 fail fail 122.414 60.371 12.684 true +real-instances-true/1873/IBakery4pBinEnc-FbtOneOne-Nondet-378-1.gen 1873 fail fail 206.245 71.041 15.524 true +real-instances-true/1874/Bakery4pBinEnc-FlOneOne-Nondet-373-0.gen 1874 10.082 fail 11.373 5.944 1.250 true +real-instances-true/1875/IBakery4pBinEnc-FbOneOne-Nondet-Partial-232-1.gen 1875 fail fail 239.008 74.482 14.281 true +real-instances-true/1877/Bakery4pBinEnc-FlOneOne-Nondet-464-1.gen 1877 fail fail 243.296 98.510 22.894 true +real-instances-true/1879/IBakery4pBinEnc-FbtOneOne-Nondet-427-0.gen 1879 fail fail 169.249 63.978 13.277 true +real-instances-true/1880/Bakery4pBinEnc-FlOneOne-Nondet-302-1.gen 1880 fail fail 202.901 109.685 36.021 true +real-instances-true/1884/Bakery5PUnrEnc-FbtOneOne-Nondet-32-1.gen 1884 fail fail 98.419 34.625 7.885 true +real-instances-true/1888/Bakery4pBinEnc-FlOneOne-Nondet-248-2.gen 1888 fail fail 109.789 44.986 11.006 true +real-instances-true/1890/IBakery4pBinEnc-FbtOneOne-Nondet-426-0.gen 1890 fail fail 133.007 50.756 15.606 true +real-instances-true/1891/Bakery4pBinEnc-FbtOneOne-Nondet-419-2.gen 1891 fail fail 198.359 92.263 18.465 true +real-instances-true/1892/Bakery4pBinEnc-FlOneOne-Nondet-400-1.gen 1892 175.378 fail 74.842 29.626 8.873 true +real-instances-true/1893/Bakery4pBinEnc-FbtOneOne-Nondet-421-0.gen 1893 fail fail 116.718 60.419 11.127 true +real-instances-true/1894/Bakery4pBinEnc-FlOneOne-Nondet-444-1.gen 1894 fail fail 198.449 72.661 19.156 true +real-instances-true/1895/Bakery4pBinEnc-FbtOneOne-Nondet-373-2.gen 1895 92.223 fail 51.560 21.211 4.730 true +real-instances-true/1896/IBakery4pBinEnc-FlOneOne-Nondet-304-2.gen 1896 fail fail 220.122 90.041 18.822 true +real-instances-true/1898/Bakery4pBinEnc-FlOneOne-Nondet-440-0.gen 1898 fail fail 284.361 114.458 27.868 true +real-instances-true/1901/IBakery4pBinEnc-FbtOneOne-Nondet-433-0.gen 1901 fail fail 206.365 73.133 14.731 true +real-instances-true/1905/Bakery4pBinEnc-FbtOneOne-Nondet-344-2.gen 1905 fail fail 267.235 92.949 31.923 true +real-instances-true/1908/IBakery4pBinEnc-FlOneOne-Nondet-406-0.gen 1908 fail fail 219.548 74.365 20.522 true +real-instances-true/1910/IBakery4pBinEnc-FlOneOne-Nondet-393-0.gen 1910 fail fail 163.313 66.556 13.115 true +real-instances-true/1911/Bakery4pBinEnc-FbtOneOne-Nondet-367-2.gen 1911 fail fail 166.915 64.912 11.539 true +real-instances-true/1915/Bakery4pBinEnc-FlOneOne-Nondet-341-2.gen 1915 60.341 fail 30.706 11.676 3.763 true +real-instances-true/1916/Bakery4pBinEnc-FlOneOne-Nondet-278-2.gen 1916 fail fail 248.298 149.922 37.994 true +real-instances-true/1918/IBakery4pBinEnc-FbtOneOne-Nondet-370-0.gen 1918 fail fail 194.832 92.322 18.468 true +real-instances-true/1921/Bakery4pBinEnc-FlOneOne-Nondet-316-2.gen 1921 41.943 fail 26.076 10.657 2.176 true +real-instances-true/1922/Bakery4pBinEnc-FbtOneOne-Nondet-407-2.gen 1922 fail fail 113.983 64.886 11.746 true +real-instances-true/1923/IBakery4pBinEnc-FbtOneOne-Nondet-349-2.gen 1923 fail fail fail 145.868 27.017 true +real-instances-true/1924/Bakery4pBinEnc-FbtOneOne-Nondet-338-0.gen 1924 129.906 fail 64.767 20.895 4.253 true +real-instances-true/1925/Bakery4pBinEnc-FlOneOne-Nondet-388-0.gen 1925 fail fail 215.276 125.612 28.938 true +real-instances-true/1926/IBakery4pBinEnc-FbtOneOne-Nondet-342-1.gen 1926 fail fail 240.974 124.239 21.177 true +real-instances-true/1929/Bakery4pBinEnc-FbOneOne-Nondet-Partial-293-0.gen 1929 fail fail 90.483 50.975 13.624 true +real-instances-true/1930/IBakery4pBinEnc-FbtOneOne-Nondet-331-1.gen 1930 fail fail 70.351 34.169 8.914 true +real-instances-true/1932/IBakery-5P-UnrEnc-FbOneOne-Nondet-Partial-37-0.gen 1932 154.239 fail 48.183 12.614 3.839 true +real-instances-true/1933/IBakery4pBinEnc-FbtOneOne-Nondet-384-0.gen 1933 fail fail 290.760 105.880 24.716 true +real-instances-true/1934/IBakery4pBinEnc-FlOneOne-Nondet-491-2.gen 1934 fail fail 222.049 81.334 15.780 true +real-instances-true/1935/Bakery4pBinEnc-FbtOneOne-Nondet-391-0.gen 1935 fail fail 223.452 98.429 20.289 true +real-instances-true/1937/IBakery4pBinEnc-FlOneOne-Nondet-427-1.gen 1937 fail fail 255.355 91.185 22.324 true +real-instances-true/1938/IBakery4pBinEnc-FbtOneOne-Nondet-385-0.gen 1938 fail fail 125.015 66.285 11.257 true +real-instances-true/1940/IBakery4pBinEnc-FbtOneOne-Nondet-340-0.gen 1940 fail fail 193.119 67.700 14.990 true +real-instances-true/1942/Bakery4pBinEnc-FbtOneOne-Nondet-347-2.gen 1942 264.951 fail 108.577 47.143 11.109 true +real-instances-true/1944/IBakery4pBinEnc-FbtOneOne-Nondet-353-2.gen 1944 4.441 fail 8.957 3.577 0.878 true +real-instances-true/1945/IBakery4pBinEnc-FbtOneOne-Nondet-405-2.gen 1945 fail fail fail 113.653 28.849 true +real-instances-true/1946/IBakery4pBinEnc-FbtOneOne-Nondet-355-0.gen 1946 4.945 fail 8.004 3.089 0.848 true +real-instances-true/1949/Bakery4pBinEnc-FbtOneOne-Nondet-395-2.gen 1949 fail fail 293.768 124.926 30.835 true +real-instances-true/1950/IBakery4pBinEnc-FbOneOne-Nondet-Partial-233-0.gen 1950 fail fail 256.419 100.505 16.856 true +real-instances-true/1953/Bakery4pBinEnc-FbtOneOne-Nondet-336-2.gen 1953 75.806 fail 46.774 22.217 5.494 true +real-instances-true/1956/Bakery4pBinEnc-FbtOneOne-Nondet-365-2.gen 1956 fail fail fail 138.215 31.349 true +real-instances-true/1957/IBakery4pBinEnc-FbOneOne-Nondet-Partial-294-0.gen 1957 fail fail 252.202 112.586 29.484 true +real-instances-true/1959/IBakery4pBinEnc-FbtOneOne-Nondet-330-0.gen 1959 fail fail fail 144.643 34.318 true +real-instances-true/1960/Bakery4pBinEnc-FlOneOne-Nondet-496-0.gen 1960 fail fail 278.108 127.770 30.798 true +real-instances-true/1961/IBakery4pBinEnc-FbtOneOne-Nondet-410-0.gen 1961 277.487 fail 103.723 33.053 8.243 true +real-instances-true/1962/Bakery4pBinEnc-FbtOneOne-Nondet-417-1.gen 1962 fail fail fail 152.859 30.734 true +real-instances-true/1965/Bakery4pBinEnc-FbOneOne-Nondet-Partial-295-1.gen 1965 fail fail 190.202 91.693 16.121 true +real-instances-true/1966/IBakery4pBinEnc-FlOneOne-Nondet-347-1.gen 1966 171.168 fail 55.684 32.139 6.507 true +real-instances-true/1967/IBakery4pBinEnc-FbOneOne-Nondet-Partial-286-0.gen 1967 50.715 fail 36.823 14.851 3.241 true +real-instances-true/1968/IBakery4pBinEnc-FbOneOne-Nondet-Partial-243-1.gen 1968 fail fail fail 124.664 29.146 true +real-instances-true/1969/IBakery4pBinEnc-FbtOneOne-Nondet-409-1.gen 1969 fail fail 110.202 46.657 10.978 true +real-instances-true/1971/Bakery4pBinEnc-FlOneOne-Nondet-463-0.gen 1971 fail fail 210.629 91.786 22.235 true +real-instances-true/1979/Bakery4pBinEnc-FbtOneOne-Nondet-360-1.gen 1979 28.550 fail 24.520 10.715 1.822 true +real-instances-true/1982/IBakery4pBinEnc-FlOneOne-Nondet-281-1.gen 1982 fail fail fail 123.685 37.282 true +real-instances-true/1983/Bakery4pBinEnc-FbtOneOne-Nondet-389-0.gen 1983 fail fail fail 143.102 33.595 true +real-instances-true/1984/Bakery4pBinEnc-FlOneOne-Nondet-342-2.gen 1984 92.646 fail 44.297 20.143 4.351 true +real-instances-true/1986/IBakery4pBinEnc-FbtOneOne-Nondet-461-2.gen 1986 fail fail 133.514 56.142 11.217 true +real-instances-true/1989/IBakery4pBinEnc-FbtOneOne-Nondet-451-0.gen 1989 8.647 fail 12.754 4.055 0.930 true +real-instances-true/1992/IBakery4pBinEnc-FlOneOne-Nondet-269-1.gen 1992 214.511 fail 82.200 33.217 7.503 true +real-instances-true/1993/Bakery4pBinEnc-FbtOneOne-Nondet-332-0.gen 1993 fail fail 278.368 172.932 27.422 true +real-instances-true/1995/IBakery4pBinEnc-FbtOneOne-Nondet-413-2.gen 1995 fail fail 194.342 95.866 20.558 true +real-instances-true/1997/IBakery4pBinEnc-FlOneOne-Nondet-315-0.gen 1997 fail fail fail 152.240 39.797 true +real-instances-true/1999/Bakery4pBinEnc-FlOneOne-Nondet-327-0.gen 1999 0.562 fail 2.009 0.986 0.635 true +real-instances-true/2003/IBakery4pBinEnc-FlOneOne-Nondet-319-2.gen 2003 fail fail 113.659 46.075 15.271 true +real-instances-true/2004/Bakery4pBinEnc-FbtOneOne-Nondet-455-1.gen 2004 fail fail fail 129.421 44.834 true +real-instances-true/2006/Bakery4pBinEnc-FlOneOne-Nondet-283-0.gen 2006 70.966 fail 43.952 18.367 3.509 true +real-instances-true/2007/IBakery4pBinEnc-FlOneOne-Nondet-510-1.gen 2007 fail fail 87.937 40.905 11.545 true +real-instances-true/2009/Bakery4pBinEnc-FbtOneOne-Nondet-449-1.gen 2009 fail fail 196.698 108.320 15.380 true +real-instances-true/2012/Bakery4pBinEnc-FbtOneOne-Nondet-467-0.gen 2012 1.684 fail 5.145 2.165 0.692 true +real-instances-true/2013/IBakery4pBinEnc-FbtOneOne-Nondet-440-1.gen 2013 fail fail fail 185.072 34.026 true +real-instances-true/2014/Bakery4pBinEnc-FbOneOne-Nondet-Partial-235-0.gen 2014 fail fail 140.565 64.810 20.613 true +real-instances-true/2017/IBakery4pBinEnc-FbtOneOne-Nondet-448-2.gen 2017 fail fail fail 129.493 34.584 true +real-instances-true/2018/Bakery4pBinEnc-FbtOneOne-Nondet-415-0.gen 2018 fail fail fail 131.379 32.390 true +real-instances-true/2021/Bakery4pBinEnc-FlOneOne-Nondet-258-2.gen 2021 fail fail 274.464 127.058 33.068 true +real-instances-true/2022/Bakery4pBinEnc-FlOneOne-Nondet-332-0.gen 2022 fail fail 153.022 79.564 15.997 true +real-instances-true/2023/Bakery4pBinEnc-FbOneOne-Nondet-Partial-244-1.gen 2023 272.623 fail 106.732 45.773 7.716 true +real-instances-true/2024/Bakery4pBinEnc-FbtOneOne-Nondet-471-0.gen 2024 53.449 fail 37.624 18.322 3.921 true +real-instances-true/2025/IBakery4pBinEnc-FlOneOne-Nondet-288-0.gen 2025 58.715 fail 42.606 17.236 4.048 true +real-instances-true/2028/Bakery4pBinEnc-FbtOneOne-Nondet-462-2.gen 2028 fail fail 256.403 118.987 23.504 true +real-instances-true/2029/IBakery4pBinEnc-FlOneOne-Nondet-287-2.gen 2029 fail fail 116.092 38.037 9.968 true +real-instances-true/2030/IBakery4pBinEnc-FbtOneOne-Nondet-456-0.gen 2030 fail fail 185.208 62.281 16.997 true +real-instances-true/2031/Bakery4pBinEnc-FbOneOne-Nondet-Partial-271-1.gen 2031 fail fail fail 147.266 45.007 true +real-instances-true/2032/IBakery4pBinEnc-FbOneOne-Nondet-Partial-267-0.gen 2032 fail fail 103.086 41.747 8.287 true +real-instances-true/2035/Bakery4pBinEnc-FbOneOne-Nondet-Partial-283-0.gen 2035 fail fail 239.971 114.230 25.267 true +real-instances-true/2039/Bakery4pBinEnc-FbtOneOne-Nondet-441-1.gen 2039 fail fail 252.712 129.294 29.275 true +real-instances-true/2043/Bakery4pBinEnc-FlOneOne-Nondet-508-1.gen 2043 fail fail 297.042 144.612 30.633 true +real-instances-true/2046/Bakery4pBinEnc-FbtOneOne-Nondet-438-2.gen 2046 fail fail 170.925 76.519 16.619 true +real-instances-true/2048/IBakery4pBinEnc-FlOneOne-Nondet-297-1.gen 2048 fail fail 189.865 76.705 15.065 true +real-instances-true/2049/Bakery4pBinEnc-FlOneOne-Nondet-262-1.gen 2049 fail fail fail 161.485 37.271 true +real-instances-true/2050/Bakery4pBinEnc-FbOneOne-Nondet-Partial-249-1.gen 2050 fail fail 209.815 106.062 22.997 true +real-instances-true/2052/IBakery4pBinEnc-FbOneOne-Nondet-Partial-258-1.gen 2052 fail fail fail 141.933 41.127 true +real-instances-true/2053/IBakery4pBinEnc-FbtOneOne-Nondet-472-2.gen 2053 fail fail 242.450 108.862 24.209 true +real-instances-true/2054/IBakery5PUnrEnc-FbtOneOne-Nondet-37-0.gen 2054 fail fail 136.091 76.156 17.551 true +real-instances-true/2056/IBakery4pBinEnc-FlOneOne-Nondet-354-1.gen 2056 92.501 fail 41.244 20.764 4.756 true +real-instances-true/2057/Bakery4pBinEnc-FbtOneOne-Nondet-470-0.gen 2057 fail fail fail 141.858 30.435 true +real-instances-true/2058/Bakery4pBinEnc-FlOneOne-Nondet-348-0.gen 2058 fail fail 234.097 115.532 19.471 true +real-instances-true/2060/Bakery4pBinEnc-FbOneOne-Nondet-Partial-272-1.gen 2060 fail fail 268.243 113.805 21.483 true +real-instances-true/2062/Bakery4pBinEnc-FbOneOne-Nondet-Partial-269-0.gen 2062 fail fail 252.204 102.294 18.737 true +real-instances-true/2064/IBakery4pBinEnc-FbtOneOne-Nondet-442-1.gen 2064 fail fail 225.318 96.963 21.642 true +real-instances-true/2065/Bakery4pBinEnc-FlOneOne-Nondet-326-2.gen 2065 fail fail 242.759 106.185 21.258 true +real-instances-true/2067/IBakery4pBinEnc-FbOneOne-Nondet-Partial-250-0.gen 2067 fail fail fail 136.103 31.598 true +real-instances-true/2069/Bakery4pBinEnc-FlOneOne-Nondet-330-2.gen 2069 fail fail 277.997 117.290 25.642 true +real-instances-true/2073/IBakery4pBinEnc-FbOneOne-Nondet-Partial-261-1.gen 2073 6.844 fail 8.950 4.162 1.626 true +real-instances-true/2075/IBakery4pBinEnc-FlOneOne-Nondet-364-0.gen 2075 fail fail 184.334 72.456 15.112 true +real-instances-true/2076/Bakery4pBinEnc-FbOneOne-Nondet-Partial-297-2.gen 2076 fail fail fail 128.705 30.585 true +real-instances-true/2078/IBakery4pBinEnc-FbOneOne-Nondet-Partial-338-2.gen 2078 fail fail fail 164.859 47.283 true +real-instances-true/2079/IBakery4pBinEnc-FlOneOne-Nondet-359-2.gen 2079 fail fail 130.004 51.930 11.059 true +real-instances-true/2081/Bakery4pBinEnc-FlOneOne-Nondet-291-0.gen 2081 fail fail 194.127 86.645 19.210 true +real-instances-true/2082/Bakery4pBinEnc-FlOneOne-Nondet-495-2.gen 2082 227.082 fail 75.109 33.789 6.805 true +real-instances-true/2083/Bakery4pBinEnc-FbOneOne-Nondet-Partial-270-2.gen 2083 fail fail fail 178.228 39.397 true +real-instances-true/2084/Bakery4pBinEnc-FbOneOne-Nondet-Partial-343-1.gen 2084 fail fail 144.097 69.351 15.613 true +real-instances-true/2085/IBakery4pBinEnc-FlOneOne-Nondet-298-2.gen 2085 14.580 fail 18.898 7.398 1.563 true +real-instances-true/2086/IBakery4pBinEnc-FlOneOne-Nondet-250-2.gen 2086 fail fail fail 133.591 48.322 true +real-instances-true/2087/Bakery4pBinEnc-FbOneOne-Nondet-Partial-344-0.gen 2087 fail fail 261.214 121.109 23.299 true +real-instances-true/2089/Bakery4pBinEnc-FbOneOne-Nondet-Partial-248-2.gen 2089 fail fail 225.176 136.500 23.056 true +real-instances-true/2091/IBakery4pBinEnc-FbOneOne-Nondet-Partial-256-0.gen 2091 fail fail 236.466 115.151 29.937 true +real-instances-true/2093/IBakery4pBinEnc-FbOneOne-Nondet-Partial-348-2.gen 2093 22.915 fail 21.407 8.821 1.909 true +real-instances-true/2094/IBakery4pBinEnc-FbOneOne-Nondet-Partial-325-2.gen 2094 fail fail 251.765 97.706 24.017 true +real-instances-true/2095/Bakery4pBinEnc-FlOneOne-Nondet-267-2.gen 2095 fail fail 228.639 124.723 14.928 true +real-instances-true/2096/Bakery5PUnrEnc-FbtOneOne-Nondet-42-1.gen 2096 fail fail 220.257 85.335 27.289 true +real-instances-true/2098/IBakery4pBinEnc-FlOneOne-Nondet-372-2.gen 2098 fail fail 91.253 40.729 10.414 true +real-instances-true/2104/IBakery4pBinEnc-FbOneOne-Nondet-Partial-321-2.gen 2104 fail fail fail 156.878 26.862 true +real-instances-true/2105/IBakery4pBinEnc-FbOneOne-Nondet-Partial-278-1.gen 2105 257.075 fail 84.660 39.471 7.989 true +real-instances-true/2107/IBakery4pBinEnc-FbOneOne-Nondet-Partial-316-0.gen 2107 fail fail fail 157.180 36.587 true +real-instances-true/2108/Bakery4pBinEnc-FlOneOne-Nondet-285-1.gen 2108 fail fail 173.356 77.002 18.157 true +real-instances-true/2109/Bakery4pBinEnc-FlOneOne-Nondet-254-2.gen 2109 fail fail fail 135.227 36.070 true +real-instances-true/2113/IBakery4pBinEnc-FbOneOne-Nondet-Partial-340-1.gen 2113 37.717 fail 29.796 10.306 2.459 true +real-instances-true/2115/Bakery4pBinEnc-FbOneOne-Nondet-Partial-309-1.gen 2115 79.246 fail 44.316 22.812 5.307 true +real-instances-true/2118/IBakery4pBinEnc-FbOneOne-Nondet-Partial-279-2.gen 2118 fail fail 125.110 47.276 7.249 true +real-instances-true/2120/IBakery4pBinEnc-FbOneOne-Nondet-Partial-346-0.gen 2120 fail fail fail 153.154 30.609 true +real-instances-true/2125/Bakery4pBinEnc-FlOneOne-Nondet-317-0.gen 2125 fail fail 118.581 51.885 11.241 true +real-instances-true/2131/IBakery4pBinEnc-FbOneOne-Nondet-Partial-302-2.gen 2131 130.058 fail 63.252 26.808 6.658 true +real-instances-true/2132/Bakery4pBinEnc-FbOneOne-Nondet-Partial-329-0.gen 2132 238.176 fail 85.784 39.254 7.051 true +real-instances-true/2135/Bakery4pBinEnc-FlOneOne-Nondet-365-1.gen 2135 fail fail 227.841 133.057 17.332 true +real-instances-true/2139/IBakery4pBinEnc-FlOneOne-Nondet-361-2.gen 2139 fail fail 155.491 82.162 22.956 true +real-instances-true/2140/Bakery4pBinEnc-FbOneOne-Nondet-Partial-320-1.gen 2140 fail fail fail 174.462 48.661 true +real-instances-true/2142/IBakery4pBinEnc-FbOneOne-Nondet-Partial-315-2.gen 2142 fail fail fail 159.717 39.568 true +real-instances-true/2151/Bakery4pBinEnc-FbOneOne-Nondet-Partial-342-0.gen 2151 fail fail 167.434 88.137 18.814 true +real-instances-true/2153/Bakery4pBinEnc-FbOneOne-Nondet-Partial-314-2.gen 2153 fail fail fail 190.190 46.917 true +real-instances-true/2155/IBakery4pBinEnc-FbOneOne-Nondet-Partial-378-2.gen 2155 fail fail 207.243 89.550 21.722 true +real-instances-true/2156/Bakery4pBinEnc-FbOneOne-Nondet-Partial-304-0.gen 2156 fail fail 180.068 99.856 18.810 true +real-instances-true/2158/Bakery4pBinEnc-FbOneOne-Nondet-Partial-365-2.gen 2158 fail fail 158.653 69.270 17.510 true +real-instances-true/2159/Bakery5PUnrEnc-FbtOneOne-Nondet-55-2.gen 2159 fail fail 94.823 72.158 15.680 true +real-instances-true/2161/Bakery4pBinEnc-FbOneOne-Nondet-Partial-327-1.gen 2161 62.959 fail 27.256 16.484 3.682 true +real-instances-true/2162/Bakery4pBinEnc-FlOneOne-Nondet-356-1.gen 2162 277.422 fail 81.445 37.513 6.787 true +real-instances-true/2165/IBakery4pBinEnc-FbOneOne-Nondet-Partial-373-2.gen 2165 fail fail 230.348 99.934 22.261 true +real-instances-true/2166/Bakery4pBinEnc-FbOneOne-Nondet-Partial-356-0.gen 2166 fail fail fail 176.819 43.844 true +real-instances-true/2168/Bakery4pBinEnc-FbOneOne-Nondet-Partial-369-0.gen 2168 fail fail 286.960 150.529 37.287 true +real-instances-true/2169/IBakery4pBinEnc-FbOneOne-Nondet-Partial-305-2.gen 2169 55.121 fail 36.153 16.640 4.047 true +real-instances-true/2175/IBakery4pBinEnc-FbOneOne-Nondet-Partial-328-1.gen 2175 58.712 fail 41.066 19.445 3.479 true +real-instances-true/2182/Bakery4pBinEnc-FbOneOne-Nondet-Partial-360-1.gen 2182 fail fail fail 130.160 30.799 true +real-instances-true/2185/IBakery5PUnrEnc-FbtOneOne-Nondet-41-0.gen 2185 fail fail 82.488 37.575 9.800 true +real-instances-true/2192/Bakery4pBinEnc-FbOneOne-Nondet-Partial-382-1.gen 2192 fail fail 283.476 118.365 29.598 true +real-instances-true/2197/IBakery5PUnrEnc-FbtOneOne-Nondet-47-0.gen 2197 fail fail 88.158 45.948 11.416 true +real-instances-true/2198/IBakery4pBinEnc-FbOneOne-Nondet-Partial-372-2.gen 2198 fail fail 289.428 134.897 25.737 true +real-instances-true/2199/IBakery4pBinEnc-FbOneOne-Nondet-Partial-358-1.gen 2199 15.351 fail 16.470 5.414 1.696 true +real-instances-true/2200/Bakery4pBinEnc-FbOneOne-Nondet-Partial-368-2.gen 2200 fail fail fail 136.791 28.675 true +real-instances-true/2205/IBakery4pBinEnc-FbOneOne-Nondet-Partial-367-2.gen 2205 fail fail 148.505 78.951 27.118 true +real-instances-true/2209/Bakery4pBinEnc-FbOneOne-Nondet-Partial-359-1.gen 2209 fail fail fail 118.843 32.382 true +real-instances-true/2210/IBakery4pBinEnc-FbOneOne-Nondet-Partial-383-2.gen 2210 fail fail 268.258 95.936 20.115 true +real-instances-true/2218/Bakery4pBinEnc-FbOneOne-Nondet-Partial-377-0.gen 2218 fail fail fail 127.141 28.967 true +real-instances-true/2261/Bakery4pBinEnc-FbOneOne-Nondet-Partial-381-0.gen 2261 fail fail fail 218.713 48.859 true +real-instances-true/2266/Bakery5PUnrEnc-FbtOneOne-Nondet-53-2.gen 2266 4.978 fail 4.736 3.183 1.315 true +real-instances-true/2283/Bakery4pBinEnc-FbOneOne-Nondet-Partial-392-2.gen 2283 fail fail fail 209.084 53.919 true +real-instances-true/2303/Bakery4pBinEnc-FbOneOne-Nondet-Partial-390-1.gen 2303 fail fail 239.229 119.189 25.367 true +real-instances-true/2307/IBakery4pBinEnc-FbOneOne-Nondet-Partial-391-1.gen 2307 fail fail 158.642 77.739 22.486 true +real-instances-true/2334/Bakery4pBinEnc-FbOneOne-Nondet-Partial-386-1.gen 2334 129.400 fail 67.099 28.604 9.013 true +real-instances-true/2338/Bakery5PUnrEnc-FbtOneOne-Nondet-49-0.gen 2338 fail fail 162.687 101.978 31.431 true +real-instances-true/2350/Bakery4pBinEnc-FbOneOne-Nondet-Partial-397-2.gen 2350 fail fail 128.063 54.352 12.136 true +real-instances-true/2358/IBakery5PUnrEnc-FbtOneOne-Nondet-51-1.gen 2358 16.715 fail 12.852 6.922 1.668 true +real-instances-true/2377/Bakery4pBinEnc-FbOneOne-Nondet-Partial-394-2.gen 2377 fail fail fail 222.725 51.861 true +real-instances-true/2391/Bakery4pBinEnc-FbOneOne-Nondet-Partial-401-0.gen 2391 fail fail 233.540 114.042 25.725 true +real-instances-true/2393/Bakery4pBinEnc-FbOneOne-Nondet-Partial-402-2.gen 2393 100.606 fail 53.238 29.992 6.608 true +real-instances-true/2404/Bakery4pBinEnc-FbOneOne-Nondet-Partial-455-2.gen 2404 fail fail fail 147.072 31.953 true +real-instances-true/2407/IBakery4pBinEnc-FbOneOne-Nondet-Partial-471-1.gen 2407 fail fail 96.025 50.740 10.602 true +real-instances-true/2409/Bakery4pBinEnc-FbOneOne-Nondet-Partial-454-1.gen 2409 fail fail fail 224.040 60.129 true +real-instances-true/2416/IBakery4pBinEnc-FbOneOne-Nondet-Partial-446-2.gen 2416 239.600 fail 78.389 31.644 6.409 true +real-instances-true/2419/Bakery4pBinEnc-FbOneOne-Nondet-Partial-476-0.gen 2419 fail fail 252.189 132.224 22.867 true +real-instances-true/2421/Bakery4pBinEnc-FbOneOne-Nondet-Partial-464-2.gen 2421 fail fail 218.950 96.103 13.831 true +real-instances-true/2422/Bakery4pBinEnc-FbOneOne-Nondet-Partial-477-1.gen 2422 fail fail fail 208.283 44.638 true +real-instances-true/2429/IBakery4pBinEnc-FbOneOne-Nondet-Partial-462-1.gen 2429 fail fail 196.011 86.072 17.838 true +real-instances-true/2433/IBakery4pBinEnc-FbOneOne-Nondet-Partial-453-2.gen 2433 fail fail fail 212.431 51.792 true +real-instances-true/2438/IBakery4pBinEnc-FbOneOne-Nondet-Partial-484-0.gen 2438 fail fail 202.562 82.092 15.830 true +real-instances-true/2441/Bakery4pBinEnc-FbOneOne-Nondet-Partial-448-1.gen 2441 126.659 fail 60.510 25.550 4.579 true +real-instances-true/2443/Bakery4pBinEnc-FbOneOne-Nondet-Partial-470-2.gen 2443 148.404 fail 69.869 32.403 6.769 true +real-instances-true/2446/IBakery4pBinEnc-FbOneOne-Nondet-Partial-478-2.gen 2446 fail fail fail 173.466 48.864 true +real-instances-true/2450/IBakery4pBinEnc-FbOneOne-Nondet-Partial-490-2.gen 2450 fail fail 212.152 89.785 25.653 true +real-instances-true/2458/IBakery4pBinEnc-FbOneOne-Nondet-Partial-482-0.gen 2458 fail fail fail 175.024 48.618 true +real-instances-true/2462/IBakery4pBinEnc-FbOneOne-Nondet-Partial-406-0.gen 2462 fail fail fail 255.325 55.473 true +real-instances-true/2463/IBakery4pBinEnc-FbOneOne-Nondet-Partial-506-0.gen 2463 fail fail 190.272 94.228 19.860 true +real-instances-true/2464/IBakery4pBinEnc-FbOneOne-Nondet-Partial-494-0.gen 2464 fail fail 167.897 82.467 15.186 true +real-instances-true/2465/Bakery4pBinEnc-FbOneOne-Nondet-Partial-502-0.gen 2465 fail fail fail 211.246 52.779 true +real-instances-true/2476/Bakery4pBinEnc-FbOneOne-Nondet-Partial-483-1.gen 2476 fail fail fail 164.739 36.022 true +real-instances-true/2478/IBakery4pBinEnc-FbOneOne-Nondet-Partial-405-1.gen 2478 fail fail 164.959 67.394 13.506 true +real-instances-true/2484/Bakery4pBinEnc-FbOneOne-Nondet-Partial-447-0.gen 2484 100.339 fail 63.176 26.855 4.997 true +real-instances-true/2486/Bakery4pBinEnc-FbOneOne-Nondet-Partial-417-2.gen 2486 fail fail fail 145.318 35.556 true +real-instances-true/2487/IBakery4pBinEnc-FbOneOne-Nondet-Partial-509-2.gen 2487 fail fail fail 173.825 43.194 true +real-instances-true/2488/IBakery4pBinEnc-FbOneOne-Nondet-Partial-424-2.gen 2488 fail fail fail 149.347 36.260 true +real-instances-true/2490/Bakery4pBinEnc-FbOneOne-Nondet-Partial-423-1.gen 2490 fail fail 123.768 44.705 9.542 true +real-instances-true/2494/Bakery4pBinEnc-FbOneOne-Nondet-Partial-511-0.gen 2494 fail fail fail 155.528 35.498 true +real-instances-true/2498/Bakery4pBinEnc-FbOneOne-Nondet-Partial-445-2.gen 2498 fail fail 294.857 156.750 25.888 true +real-instances-true/2499/Bakery4pBinEnc-FbOneOne-Nondet-Partial-501-1.gen 2499 fail fail 281.367 126.186 24.828 true +real-instances-true/2504/IBakery4pBinEnc-FbOneOne-Nondet-Partial-492-2.gen 2504 fail fail 128.638 45.872 10.683 true +real-instances-true/2509/IBakery4pBinEnc-FbOneOne-Nondet-Partial-413-2.gen 2509 fail fail 190.625 77.263 17.547 true +real-instances-true/2510/Bakery4pBinEnc-FbOneOne-Nondet-Partial-613-2.gen 2510 fail fail fail 148.540 31.826 true +real-instances-true/2512/Bakery4pBinEnc-FbOneOne-Nondet-Partial-426-0.gen 2512 fail fail fail 249.828 66.993 true +real-instances-true/2513/Bakery4pBinEnc-FbOneOne-Nondet-Partial-436-1.gen 2513 fail fail 179.963 88.089 19.604 true +real-instances-true/2516/IBakery4pBinEnc-FbOneOne-Nondet-Partial-408-0.gen 2516 fail fail 234.503 88.834 22.310 true +real-instances-true/2518/IBakery4pBinEnc-FbOneOne-Nondet-Partial-416-0.gen 2518 fail fail fail 158.484 38.705 true +real-instances-true/2522/Bakery4pBinEnc-FbOneOne-Nondet-Partial-412-0.gen 2522 fail fail 261.852 147.505 33.141 true +real-instances-true/2533/IBakery4pBinEnc-FbOneOne-Nondet-Partial-431-0.gen 2533 fail fail fail 133.505 34.476 true +real-instances-true/2537/IBakery4pBinEnc-FbOneOne-Nondet-Partial-615-1.gen 2537 fail fail 264.198 134.620 26.446 true +real-instances-true/2543/Bakery4pBinEnc-FbOneOne-Nondet-Partial-435-1.gen 2543 fail fail 123.841 74.617 14.169 true +real-instances-true/2548/Bakery4pBinEnc-FbOneOne-Nondet-Partial-617-2.gen 2548 fail fail fail 254.298 41.844 true +real-instances-true/2552/Bakery4pBinEnc-FbOneOne-Nondet-Partial-443-2.gen 2552 fail fail 258.476 112.151 25.190 true +real-instances-true/2567/Bakery4pBinEnc-FbOneOne-Nondet-Partial-557-2.gen 2567 165.044 fail 65.265 38.215 8.165 true +real-instances-true/2570/IBakery4pBinEnc-FbOneOne-Nondet-Partial-565-2.gen 2570 fail fail fail 186.347 55.002 true +real-instances-true/2571/IBakery4pBinEnc-FbOneOne-Nondet-Partial-605-0.gen 2571 fail fail fail 105.281 23.592 true +real-instances-true/2576/Bakery4pBinEnc-FbOneOne-Nondet-Partial-611-0.gen 2576 fail fail 279.512 108.244 20.330 true +real-instances-true/2591/Bakery4pBinEnc-FbOneOne-Nondet-Partial-558-1.gen 2591 fail fail fail 237.627 63.927 true +real-instances-true/2603/IBakery4pBinEnc-FbOneOne-Nondet-Partial-553-0.gen 2603 fail fail fail 161.264 38.566 true +real-instances-true/2617/IBakery4pBinEnc-FbOneOne-Nondet-Partial-510-1.gen 2617 fail fail fail 251.452 61.150 true +real-instances-true/2627/IBakery4pBinEnc-FbOneOne-Nondet-Partial-535-2.gen 2627 fail fail fail 156.533 29.222 true +real-instances-true/2629/Bakery4pBinEnc-FbOneOne-Nondet-Partial-564-1.gen 2629 67.341 fail 38.546 24.048 4.620 true +real-instances-true/2632/IBakery4pBinEnc-FbOneOne-Nondet-Partial-566-2.gen 2632 fail fail fail 139.217 24.868 true +real-instances-true/2634/Bakery4pBinEnc-FbOneOne-Nondet-Partial-551-1.gen 2634 fail fail fail 171.564 37.049 true +real-instances-true/2640/Bakery4pBinEnc-FbOneOne-Nondet-Partial-578-2.gen 2640 fail fail fail 211.143 46.598 true +real-instances-true/2644/IBakery4pBinEnc-FbOneOne-Nondet-Partial-531-1.gen 2644 81.364 fail 48.848 24.701 6.503 true +real-instances-true/2646/IBakery4pBinEnc-FbOneOne-Nondet-Partial-603-1.gen 2646 68.107 fail 53.801 26.699 5.551 true +real-instances-true/2647/IBakery4pBinEnc-FbOneOne-Nondet-Partial-515-0.gen 2647 fail fail 297.417 111.880 31.578 true +real-instances-true/2648/Bakery4pBinEnc-FbOneOne-Nondet-Partial-525-1.gen 2648 fail fail 214.224 123.396 23.359 true +real-instances-true/2649/Bakery4pBinEnc-FbOneOne-Nondet-Partial-587-0.gen 2649 fail fail fail 226.668 45.999 true +real-instances-true/2650/Bakery4pBinEnc-FbOneOne-Nondet-Partial-532-1.gen 2650 49.990 fail 38.218 15.747 2.907 true +real-instances-true/2653/IBakery4pBinEnc-FbOneOne-Nondet-Partial-521-0.gen 2653 196.442 fail 73.730 35.217 5.568 true +real-instances-true/2655/Bakery4pBinEnc-FbOneOne-Nondet-Partial-584-1.gen 2655 fail fail 212.429 99.222 22.935 true +real-instances-true/2656/Bakery4pBinEnc-FbOneOne-Nondet-Partial-514-2.gen 2656 fail fail fail 168.473 45.478 true +real-instances-true/2659/Bakery4pBinEnc-FbOneOne-Nondet-Partial-568-1.gen 2659 fail fail 150.498 74.438 15.946 true +real-instances-true/2663/Bakery4pBinEnc-FbOneOne-Nondet-Partial-570-1.gen 2663 fail fail fail 162.048 40.282 true +real-instances-true/2666/IBakery4pBinEnc-FbOneOne-Nondet-Partial-543-1.gen 2666 fail fail 195.004 83.725 15.862 true +real-instances-true/2667/IBakery4pBinEnc-FbOneOne-Nondet-Partial-547-2.gen 2667 fail fail fail 193.983 47.700 true +real-instances-true/2668/IBakery4pBinEnc-FbOneOne-Nondet-Partial-533-1.gen 2668 13.267 fail 12.626 4.393 1.270 true +real-instances-true/2669/IBakery4pBinEnc-FbOneOne-Nondet-Partial-595-1.gen 2669 fail fail 220.042 109.606 23.503 true +real-instances-true/2673/IBakery4pBinEnc-FbOneOne-Nondet-Partial-589-1.gen 2673 fail fail fail 131.565 30.324 true +real-instances-true/2674/IBakery4pBinEnc-FbOneOne-Nondet-Partial-668-1.gen 2674 62.509 fail 40.615 18.846 3.528 true +real-instances-true/2675/Bakery4pBinEnc-FbOneOne-Nondet-Partial-542-1.gen 2675 fail fail fail 227.281 45.944 true +real-instances-true/2676/Bakery4pBinEnc-FbOneOne-Nondet-Partial-516-2.gen 2676 fail fail 288.916 105.035 31.894 true +real-instances-true/2679/Bakery4pBinEnc-FbOneOne-Nondet-Partial-597-1.gen 2679 282.616 fail 101.505 45.969 14.997 true +real-instances-true/2680/IBakery4pBinEnc-FbOneOne-Nondet-Partial-664-1.gen 2680 fail fail fail 202.725 41.517 true +real-instances-true/2681/IBakery4pBinEnc-FbOneOne-Nondet-Partial-580-0.gen 2681 fail fail fail 212.324 62.738 true +real-instances-true/2682/IBakery4pBinEnc-FbOneOne-Nondet-Partial-523-0.gen 2682 63.407 fail 40.309 16.144 5.271 true +real-instances-true/2685/IBakery4pBinEnc-FbOneOne-Nondet-Partial-576-1.gen 2685 fail fail 247.684 96.718 27.407 true +real-instances-true/2686/IBakery4pBinEnc-FbOneOne-Nondet-Partial-540-2.gen 2686 fail fail fail 144.159 39.012 true +real-instances-true/2690/Bakery4pBinEnc-FbOneOne-Nondet-Partial-715-0.gen 2690 fail fail fail fail 62.910 true +real-instances-true/2691/Bakery4pBinEnc-FbOneOne-Nondet-Partial-590-2.gen 2691 40.925 fail 31.224 16.702 2.734 true +real-instances-true/2693/Bakery4pBinEnc-FbOneOne-Nondet-Partial-601-2.gen 2693 fail fail fail 259.680 51.275 true +real-instances-true/2697/IBakery4pBinEnc-FbOneOne-Nondet-Partial-549-1.gen 2697 fail fail fail 180.898 37.830 true +real-instances-true/2698/IBakery4pBinEnc-FbOneOne-Nondet-Partial-522-1.gen 2698 fail fail fail 176.505 44.557 true +real-instances-true/2701/IBakery4pBinEnc-FbOneOne-Nondet-Partial-661-2.gen 2701 fail fail fail 180.871 43.515 true +real-instances-true/2702/IBakery4pBinEnc-FbOneOne-Nondet-Partial-655-2.gen 2702 fail fail fail 148.051 45.886 true +real-instances-true/2704/IBakery4pBinEnc-FbOneOne-Nondet-Partial-662-1.gen 2704 59.346 fail 39.452 15.060 3.592 true +real-instances-true/2710/IBakery4pBinEnc-FbOneOne-Nondet-Partial-598-2.gen 2710 231.814 fail 79.886 37.310 7.287 true +real-instances-true/2712/IBakery4pBinEnc-FbOneOne-Nondet-Partial-645-2.gen 2712 fail fail 102.808 49.041 13.578 true +real-instances-true/2713/Bakery4pBinEnc-FbOneOne-Nondet-Partial-724-1.gen 2713 1.017 fail 2.267 1.090 0.578 true +real-instances-true/2721/Bakery4pBinEnc-FbOneOne-Nondet-Partial-722-2.gen 2721 fail fail fail fail 84.686 true +real-instances-true/2726/IBakery4pBinEnc-FbOneOne-Nondet-Partial-710-1.gen 2726 fail fail 280.686 134.531 36.946 true +real-instances-true/2727/IBakery4pBinEnc-FbOneOne-Nondet-Partial-620-1.gen 2727 fail fail 101.739 33.873 5.915 true +real-instances-true/2734/IBakery4pBinEnc-FbOneOne-Nondet-Partial-714-1.gen 2734 fail fail 292.182 155.244 31.613 true +real-instances-true/2736/Bakery4pBinEnc-FbOneOne-Nondet-Partial-660-1.gen 2736 42.784 fail 28.437 13.140 2.574 true +real-instances-true/2738/Bakery4pBinEnc-FbOneOne-Nondet-Partial-636-0.gen 2738 114.419 fail 55.396 23.425 4.162 true +real-instances-true/2741/Bakery4pBinEnc-FbOneOne-Nondet-Partial-634-2.gen 2741 fail fail fail 167.204 36.122 true +real-instances-true/2742/IBakery4pBinEnc-FbOneOne-Nondet-Partial-632-2.gen 2742 fail fail 110.895 48.010 8.264 true +real-instances-true/2744/Bakery4pBinEnc-FbOneOne-Nondet-Partial-681-0.gen 2744 fail fail fail fail 72.078 true +real-instances-true/2745/Bakery4pBinEnc-FbOneOne-Nondet-Partial-676-1.gen 2745 fail fail 112.093 53.405 11.610 true +real-instances-true/2748/Bakery4pBinEnc-FbOneOne-Nondet-Partial-673-1.gen 2748 fail fail 157.053 84.335 21.454 true +real-instances-true/2756/IBakery4pBinEnc-FbOneOne-Nondet-Partial-650-1.gen 2756 fail fail 237.245 99.509 24.130 true +real-instances-true/2760/Bakery4pBinEnc-FbOneOne-Nondet-Partial-649-2.gen 2760 fail fail fail 198.439 44.267 true +real-instances-true/2762/Bakery4pBinEnc-FbOneOne-Nondet-Partial-690-2.gen 2762 fail fail 287.025 174.707 28.994 true +real-instances-true/2765/IBakery4pBinEnc-FbOneOne-Nondet-Partial-688-0.gen 2765 13.150 fail 18.366 5.603 1.604 true +real-instances-true/2766/Bakery4pBinEnc-FbOneOne-Nondet-Partial-686-1.gen 2766 fail fail fail fail 70.853 true +real-instances-true/2768/IBakery4pBinEnc-FbOneOne-Nondet-Partial-638-0.gen 2768 fail fail fail 247.681 64.356 true +real-instances-true/2769/Bakery4pBinEnc-FbOneOne-Nondet-Partial-678-1.gen 2769 fail fail fail 193.481 34.366 true +real-instances-true/2770/Bakery4pBinEnc-FbOneOne-Nondet-Partial-621-1.gen 2770 fail fail fail 161.162 32.993 true +real-instances-true/2773/IBakery4pBinEnc-FbOneOne-Nondet-Partial-711-0.gen 2773 fail fail fail 290.765 86.078 true +real-instances-true/2776/IBakery4pBinEnc-FbOneOne-Nondet-Partial-680-1.gen 2776 fail fail fail 164.016 31.473 true +real-instances-true/2780/IBakery4pBinEnc-FbOneOne-Nondet-Partial-656-0.gen 2780 fail fail fail 260.039 73.860 true +real-instances-true/2782/IBakery4pBinEnc-FbOneOne-Nondet-Partial-633-0.gen 2782 20.088 fail 22.605 9.782 2.173 true +real-instances-true/2786/IBakery4pBinEnc-FbOneOne-Nondet-Partial-644-2.gen 2786 fail fail fail 194.639 55.754 true +real-instances-true/2791/IBakery4pBinEnc-FbOneOne-Nondet-Partial-770-1.gen 2791 fail fail fail 144.229 34.021 true +real-instances-true/2792/Bakery4pBinEnc-FbOneOne-Nondet-Partial-692-0.gen 2792 fail fail fail fail 99.653 true +real-instances-true/2798/IBakery4pBinEnc-FbOneOne-Nondet-Partial-628-0.gen 2798 fail fail fail 237.786 54.932 true +real-instances-true/2800/IBakery4pBinEnc-FbOneOne-Nondet-Partial-683-0.gen 2800 fail fail fail fail 76.775 true +real-instances-true/2802/Bakery4pBinEnc-FbOneOne-Nondet-Partial-703-0.gen 2802 85.192 fail 48.508 21.469 4.324 true +real-instances-true/2803/IBakery4pBinEnc-FbOneOne-Nondet-Partial-766-1.gen 2803 fail fail fail 214.381 42.365 true +real-instances-true/2804/IBakery4pBinEnc-FbOneOne-Nondet-Partial-682-2.gen 2804 fail fail 210.225 97.268 25.295 true +real-instances-true/2806/IBakery4pBinEnc-FbOneOne-Nondet-Partial-771-1.gen 2806 fail fail fail 253.354 56.414 true +real-instances-true/2810/Bakery4pBinEnc-FbOneOne-Nondet-Partial-697-2.gen 2810 fail fail 113.387 46.562 10.386 true +real-instances-true/2812/Bakery4pBinEnc-FbOneOne-Nondet-Partial-772-0.gen 2812 fail fail 158.041 60.144 12.526 true +real-instances-true/2822/Bakery4pBinEnc-FbOneOne-Nondet-Partial-701-2.gen 2822 fail fail fail 211.043 55.149 true +real-instances-true/2824/Bakery4pBinEnc-FbOneOne-Nondet-Partial-747-0.gen 2824 fail fail fail fail 54.786 true +real-instances-true/2831/IBakery4pBinEnc-FbOneOne-Nondet-Partial-761-0.gen 2831 fail fail 232.296 125.060 25.678 true +real-instances-true/2839/Bakery4pBinEnc-FbOneOne-Nondet-Partial-804-2.gen 2839 fail fail fail 200.615 31.498 true +real-instances-true/2846/IBakery4pBinEnc-FbOneOne-Nondet-Partial-728-2.gen 2846 29.248 fail 21.782 8.680 1.468 true +real-instances-true/2847/Bakery4pBinEnc-FbOneOne-Nondet-Partial-744-1.gen 2847 118.743 fail 54.771 23.792 3.799 true +real-instances-true/2848/IBakery4pBinEnc-FbOneOne-Nondet-Partial-779-2.gen 2848 fail fail fail 150.504 34.451 true +real-instances-true/2849/IBakery4pBinEnc-FbOneOne-Nondet-Partial-777-0.gen 2849 fail fail fail 160.133 33.482 true +real-instances-true/2850/Bakery4pBinEnc-FbOneOne-Nondet-Partial-737-2.gen 2850 fail fail fail 208.509 40.742 true +real-instances-true/2852/Bakery4pBinEnc-FbOneOne-Nondet-Partial-709-1.gen 2852 fail fail fail fail 78.078 true +real-instances-true/2853/Bakery4pBinEnc-FbOneOne-Nondet-Partial-767-1.gen 2853 fail fail fail 140.681 29.203 true +real-instances-true/2854/Bakery4pBinEnc-FbOneOne-Nondet-Partial-738-1.gen 2854 fail fail fail fail 71.754 true +real-instances-true/2865/Bakery4pBinEnc-FbOneOne-Nondet-Partial-800-0.gen 2865 fail fail fail 249.321 46.072 true +real-instances-true/2869/IBakery4pBinEnc-FbOneOne-Nondet-Partial-795-1.gen 2869 fail fail fail 290.684 62.272 true +real-instances-true/2872/IBakery4pBinEnc-FbOneOne-Nondet-Partial-756-0.gen 2872 fail fail fail 131.843 31.688 true +real-instances-true/2873/IBakery4pBinEnc-FbOneOne-Nondet-Partial-757-0.gen 2873 fail fail fail 210.552 48.780 true +real-instances-true/2874/Bakery4pBinEnc-FbOneOne-Nondet-Partial-745-0.gen 2874 fail fail fail 283.701 70.430 true +real-instances-true/2879/IBakery4pBinEnc-FbOneOne-Nondet-Partial-783-0.gen 2879 fail fail fail 248.075 46.063 true +real-instances-true/2882/IBakery4pBinEnc-FbOneOne-Nondet-Partial-730-2.gen 2882 fail fail 213.710 72.406 17.890 true +real-instances-true/2885/Bakery4pBinEnc-FbOneOne-Nondet-Partial-805-2.gen 2885 fail fail fail 248.289 50.450 true +real-instances-true/2888/Bakery4pBinEnc-FbOneOne-Nondet-Partial-739-1.gen 2888 fail fail fail fail 67.734 true +real-instances-true/2892/IBakery4pBinEnc-FbOneOne-Nondet-Partial-749-2.gen 2892 fail fail fail 154.227 30.015 true +real-instances-true/2900/Bakery4pBinEnc-FbOneOne-Nondet-Partial-790-2.gen 2900 fail fail fail fail 76.445 true +real-instances-true/2903/Bakery4pBinEnc-FbOneOne-Nondet-Partial-762-1.gen 2903 fail fail 106.292 50.461 10.023 true +real-instances-true/2904/IBakery4pBinEnc-FbOneOne-Nondet-Partial-789-1.gen 2904 fail fail fail fail 85.145 true +real-instances-true/2910/IBakery4pBinEnc-FbOneOne-Nondet-Partial-803-0.gen 2910 fail fail fail 189.036 37.516 true +real-instances-true/2924/IBakery4pBinEnc-FbOneOne-Nondet-Partial-822-2.gen 2924 134.479 fail 70.644 24.969 4.637 true +real-instances-true/2942/Bakery4pBinEnc-FbOneOne-Nondet-Partial-816-0.gen 2942 fail fail 218.146 92.053 16.051 true +real-instances-true/2946/Bakery4pBinEnc-FbOneOne-Nondet-Partial-811-2.gen 2946 fail fail 154.532 67.828 15.205 true +real-instances-true/2956/Bakery4pBinEnc-FbOneOne-Nondet-Partial-817-2.gen 2956 78.687 fail 29.273 11.622 2.468 true +real-instances-true/2998/Bakery4pBinEnc-FbOneOne-Nondet-Partial-823-2.gen 2998 30.030 fail 17.158 8.523 1.960 true +real-instances-true/3012/IBakery4pBinEnc-FbOneOne-Nondet-Partial-824-2.gen 3012 fail fail 165.778 56.915 17.236 true +real-instances-true/3039/IBakery4pBinEnc-FbOneOne-Nondet-Partial-831-2.gen 3039 6.400 fail 16.046 3.101 0.620 true +real-instances-true/3041/Bakery4pBinEnc-FbOneOne-Nondet-Partial-828-0.gen 3041 fail fail 163.275 90.930 15.432 true +real-instances-true/3060/Bakery4pBinEnc-FbOneOne-Nondet-Partial-812-1.gen 3060 fail fail fail 256.574 63.250 true +real-instances-true/3113/IBakery4pBinEnc-FbOneOne-Nondet-Partial-854-2.gen 3113 fail fail fail fail 78.206 true +real-instances-true/3131/Bakery4pBinEnc-FbOneOne-Nondet-Partial-832-2.gen 3131 fail fail 148.756 79.545 16.804 true +real-instances-true/3132/Bakery4pBinEnc-FbOneOne-Nondet-Partial-847-2.gen 3132 53.087 fail 60.015 16.174 4.234 true +real-instances-true/3133/Bakery4pBinEnc-FbOneOne-Nondet-Partial-853-2.gen 3133 fail fail 108.308 59.255 10.998 true +real-instances-true/3136/IBakery4pBinEnc-FbOneOne-Nondet-Partial-845-2.gen 3136 fail fail 227.001 100.509 27.738 true +real-instances-true/3137/IBakery4pBinEnc-FbOneOne-Nondet-Partial-837-1.gen 3137 fail fail fail 110.781 25.581 true +real-instances-true/3138/Bakery4pBinEnc-FbOneOne-Nondet-Partial-844-1.gen 3138 fail fail 257.829 124.997 23.074 true +real-instances-true/3148/Bakery4pBinEnc-FbOneOne-Nondet-Partial-833-0.gen 3148 218.191 fail 88.503 39.309 7.893 true +real-instances-true/3156/IBakery4pBinEnc-FbOneOne-Nondet-Partial-858-2.gen 3156 fail fail fail 170.149 47.373 true +real-instances-true/3157/Bakery4pBinEnc-FbOneOne-Nondet-Partial-852-0.gen 3157 fail fail fail 219.953 55.087 true +real-instances-true/3158/Bakery4pBinEnc-FbOneOne-Nondet-Partial-860-0.gen 3158 fail fail fail 177.872 45.092 true +real-instances-true/3164/IBakery4pBinEnc-FbOneOne-Nondet-Partial-836-2.gen 3164 183.501 fail 86.219 35.884 6.625 true +real-instances-true/3175/IBakery4pBinEnc-FbOneOne-Nondet-Partial-856-2.gen 3175 fail fail fail 261.390 45.503 true +real-instances-true/3182/Bakery4pBinEnc-FbOneOne-Nondet-Partial-846-0.gen 3182 fail fail 269.431 133.024 28.214 true +real-instances-true/3202/Bakery4pBinEnc-FbOneOne-Nondet-Partial-842-1.gen 3202 fail fail 221.235 113.338 21.096 true +real-instances-true/3210/IBakery4pBinEnc-FbOneOne-Nondet-Partial-864-2.gen 3210 fail fail fail fail 101.782 true +real-instances-true/3329/Bakery4pBinEnc-FbOneOne-Nondet-Partial-871-0.gen 3329 fail fail fail 123.063 25.945 true +real-instances-true/3343/Bakery4pBinEnc-FbOneOne-Nondet-Partial-866-2.gen 3343 fail fail fail fail 84.564 true +real-instances-true/3351/Bakery4pBinEnc-FbOneOne-Nondet-Partial-877-1.gen 3351 fail fail 290.821 126.485 22.026 true +real-instances-true/3363/IBakery4pBinEnc-FbOneOne-Nondet-Partial-876-2.gen 3363 fail fail fail fail 137.268 true +real-instances-true/3372/Bakery4pBinEnc-FbOneOne-Nondet-Partial-884-1.gen 3372 fail fail fail 177.883 28.315 true +real-instances-true/3377/IBakery4pBinEnc-FbOneOne-Nondet-Partial-870-2.gen 3377 fail fail fail fail 102.157 true +real-instances-true/3381/Bakery4pBinEnc-FbOneOne-Nondet-Partial-882-1.gen 3381 fail fail fail 184.028 40.695 true +real-instances-true/3412/Bakery4pBinEnc-FbOneOne-Nondet-Partial-875-1.gen 3412 fail fail fail fail 78.486 true +real-instances-true/3423/IBakery4pBinEnc-FbOneOne-Nondet-Partial-937-2.gen 3423 fail fail fail fail 86.402 true +real-instances-true/3424/Bakery4pBinEnc-FbOneOne-Nondet-Partial-930-0.gen 3424 fail fail 152.659 61.339 15.226 true +real-instances-true/3428/IBakery4pBinEnc-FbOneOne-Nondet-Partial-979-1.gen 3428 15.409 fail 22.414 11.493 1.924 true +real-instances-true/3430/Bakery4pBinEnc-FbOneOne-Nondet-Partial-908-2.gen 3430 fail fail 106.756 50.869 10.477 true +real-instances-true/3431/IBakery4pBinEnc-FbOneOne-Nondet-Partial-906-0.gen 3431 fail fail fail 286.418 53.914 true +real-instances-true/3434/IBakery4pBinEnc-FbOneOne-Nondet-Partial-902-0.gen 3434 51.160 fail 42.910 12.262 3.140 true +real-instances-true/3437/Bakery4pBinEnc-FbOneOne-Nondet-Partial-889-1.gen 3437 fail fail 111.102 50.297 9.674 true +real-instances-true/3445/Bakery4pBinEnc-FbOneOne-Nondet-Partial-921-0.gen 3445 fail fail fail fail 82.058 true +real-instances-true/3449/IBakery4pBinEnc-FbOneOne-Nondet-Partial-920-0.gen 3449 fail fail fail 211.012 38.068 true +real-instances-true/3451/Bakery4pBinEnc-FbOneOne-Nondet-Partial-894-2.gen 3451 fail fail 185.171 78.196 13.605 true +real-instances-true/3454/Bakery4pBinEnc-FbOneOne-Nondet-Partial-989-1.gen 3454 fail fail fail fail 77.403 true +real-instances-true/3455/IBakery4pBinEnc-FbOneOne-Nondet-Partial-926-2.gen 3455 fail fail fail fail 61.515 true +real-instances-true/3458/IBakery4pBinEnc-FbOneOne-Nondet-Partial-964-0.gen 3458 fail fail fail 184.151 29.438 true +real-instances-true/3459/Bakery4pBinEnc-FbOneOne-Nondet-Partial-956-0.gen 3459 fail fail fail 142.988 30.544 true +real-instances-true/3461/Bakery4pBinEnc-FbOneOne-Nondet-Partial-905-2.gen 3461 fail fail fail fail 130.811 true +real-instances-true/3462/IBakery4pBinEnc-FbOneOne-Nondet-Partial-955-1.gen 3462 142.975 fail 80.752 27.709 5.830 true +real-instances-true/3463/IBakery4pBinEnc-FbOneOne-Nondet-Partial-904-1.gen 3463 fail fail 173.023 73.053 12.143 true +real-instances-true/3468/IBakery4pBinEnc-FbOneOne-Nondet-Partial-977-1.gen 3468 fail fail fail fail 91.848 true +real-instances-true/3474/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1036-2.gen 3474 fail fail fail fail 71.613 true +real-instances-true/3475/Bakery4pBinEnc-FbOneOne-Nondet-Partial-981-2.gen 3475 fail fail fail fail 78.550 true +real-instances-true/3476/IBakery4pBinEnc-FbOneOne-Nondet-Partial-936-1.gen 3476 fail fail 263.258 107.915 25.543 true +real-instances-true/3478/Bakery4pBinEnc-FbOneOne-Nondet-Partial-972-2.gen 3478 fail fail fail fail 94.544 true +real-instances-true/3479/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1035-0.gen 3479 fail fail fail fail 72.811 true +real-instances-true/3482/Bakery4pBinEnc-FbOneOne-Nondet-Partial-910-1.gen 3482 fail fail fail 209.003 42.124 true +real-instances-true/3485/IBakery4pBinEnc-FbOneOne-Nondet-Partial-891-1.gen 3485 fail fail fail fail 113.904 true +real-instances-true/3487/Bakery4pBinEnc-FbOneOne-Nondet-Partial-965-2.gen 3487 fail fail fail fail 94.578 true +real-instances-true/3488/Bakery4pBinEnc-FbOneOne-Nondet-Partial-914-0.gen 3488 fail fail fail fail 106.721 true +real-instances-true/3489/IBakery4pBinEnc-FbOneOne-Nondet-Partial-958-1.gen 3489 0.973 fail 2.757 1.664 0.549 true +real-instances-true/3490/IBakery4pBinEnc-FbOneOne-Nondet-Partial-895-2.gen 3490 fail fail fail 142.450 26.361 true +real-instances-true/3491/Bakery4pBinEnc-FbOneOne-Nondet-Partial-957-0.gen 3491 fail fail fail 179.235 43.070 true +real-instances-true/3502/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1014-1.gen 3502 fail fail fail fail 155.132 true +real-instances-true/3503/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1010-1.gen 3503 fail fail 243.534 95.080 17.608 true +real-instances-true/3504/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1038-2.gen 3504 fail fail fail fail 77.718 true +real-instances-true/3505/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1044-0.gen 3505 fail fail fail fail 82.607 true +real-instances-true/3506/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1005-2.gen 3506 fail fail 117.845 56.568 9.622 true +real-instances-true/3509/Bakery4pBinEnc-FbOneOne-Nondet-Partial-919-2.gen 3509 fail fail fail 168.450 35.641 true +real-instances-true/3510/Bakery4pBinEnc-FbOneOne-Nondet-Partial-993-0.gen 3510 fail fail 193.534 86.785 19.819 true +real-instances-true/3514/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1030-0.gen 3514 fail fail fail fail 57.414 true +real-instances-true/3517/Bakery4pBinEnc-FbOneOne-Nondet-Partial-967-1.gen 3517 2.642 fail 5.949 2.415 0.759 true +real-instances-true/3518/Bakery4pBinEnc-FbOneOne-Nondet-Partial-948-1.gen 3518 fail fail fail fail 119.964 true +real-instances-true/3522/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1027-1.gen 3522 fail fail fail fail 107.119 true +real-instances-true/3523/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1001-2.gen 3523 fail fail fail 256.540 56.786 true +real-instances-true/3526/Bakery4pBinEnc-FbOneOne-Nondet-Partial-941-2.gen 3526 fail fail fail 211.114 30.460 true +real-instances-true/3531/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1019-0.gen 3531 fail fail fail 279.101 83.295 true +real-instances-true/3533/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1012-1.gen 3533 52.351 fail 35.269 14.513 2.645 true +real-instances-true/3534/Bakery4pBinEnc-FbOneOne-Nondet-Partial-997-1.gen 3534 fail fail 245.953 120.125 26.217 true +real-instances-true/3535/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1008-2.gen 3535 fail fail 135.851 69.749 15.685 true +real-instances-true/3546/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1003-0.gen 3546 28.663 fail 23.016 8.153 1.595 true +real-instances-true/3548/IBakery4pBinEnc-FbOneOne-Nondet-Partial-61-0.gen 3548 fail fail fail 146.375 31.377 true +real-instances-true/3551/IBakery4pBinEnc-FbOneOne-Nondet-Partial-60-1.gen 3551 fail fail fail 175.362 29.385 true +real-instances-true/3554/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1020-0.gen 3554 fail fail fail fail 107.166 true +real-instances-true/3558/IBakery4pBinEnc-FbOneOne-Nondet-Partial-994-2.gen 3558 fail fail fail 241.472 56.152 true +real-instances-true/3561/IBakery4pBinEnc-FbOneOne-Nondet-Partial-12-2.gen 3561 fail fail 289.841 142.970 24.654 true +real-instances-true/3562/IBakery4pBinEnc-FbOneOne-Nondet-Partial-999-0.gen 3562 fail fail fail 191.653 43.746 true +real-instances-true/3564/IBakery4pBinEnc-FbOneOne-Nondet-Partial-8-2.gen 3564 fail fail fail fail 81.476 true +real-instances-true/3572/Bakery4pBinEnc-FbOneOne-Nondet-Partial-7-0.gen 3572 fail fail fail 198.424 42.154 true +real-instances-true/3573/Bakery4pBinEnc-FbOneOne-Nondet-Partial-68-0.gen 3573 fail fail fail fail 94.009 true +real-instances-true/3576/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1034-0.gen 3576 31.502 fail 30.897 14.348 3.616 true +real-instances-true/3578/IBakery4pBinEnc-FbOneOne-Nondet-Partial-66-1.gen 3578 fail fail 134.838 57.583 27.914 true +real-instances-true/3582/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1083-0.gen 3582 fail fail fail 245.873 56.012 true +real-instances-true/3586/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1024-0.gen 3586 fail fail fail fail 114.584 true +real-instances-true/3597/IBakery4pBinEnc-FbOneOne-Nondet-Partial-10-1.gen 3597 fail fail fail 174.270 32.809 true +real-instances-true/3599/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1070-1.gen 3599 fail fail fail fail 85.020 true +real-instances-true/3602/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1025-2.gen 3602 fail fail fail 149.820 25.845 true +real-instances-true/3604/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1043-1.gen 3604 fail fail fail fail 133.527 true +real-instances-true/3606/Bakery4pBinEnc-FbOneOne-Nondet-Partial-9-2.gen 3606 fail fail fail 128.208 22.179 true +real-instances-true/3618/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1063-0.gen 3618 fail fail fail 112.606 26.362 true +real-instances-true/3619/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1082-1.gen 3619 fail fail fail fail 84.734 true +real-instances-true/3620/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1054-2.gen 3620 fail fail fail fail 118.503 true +real-instances-true/3621/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1061-2.gen 3621 fail fail fail fail 128.536 true +real-instances-true/3623/Bakery4pBinEnc-FbOneOne-Nondet-Partial-54-1.gen 3623 fail fail fail fail 99.282 true +real-instances-true/3624/Bakery4pBinEnc-FbOneOne-Nondet-Partial-42-1.gen 3624 fail fail fail fail 76.704 true +real-instances-true/3627/Bakery4pBinEnc-FbOneOne-Nondet-Partial-29-0.gen 3627 fail fail fail 250.370 65.792 true +real-instances-true/3632/Bakery4pBinEnc-FbOneOne-Nondet-Partial-20-2.gen 3632 fail fail 210.505 99.797 19.801 true +real-instances-true/3635/Bakery4pBinEnc-FbOneOne-Nondet-Partial-18-2.gen 3635 fail fail fail fail 68.449 true +real-instances-true/3636/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1079-2.gen 3636 fail fail fail 253.917 57.853 true +real-instances-true/3643/Bakery4pBinEnc-FbOneOne-Nondet-Partial-34-1.gen 3643 fail fail fail 245.893 40.551 true +real-instances-true/3646/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1071-0.gen 3646 123.469 fail 61.486 26.830 5.199 true +real-instances-true/3651/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1068-1.gen 3651 fail fail fail 155.457 28.425 true +real-instances-true/3656/IBakery4pBinEnc-FbOneOne-Nondet-Partial-24-0.gen 3656 fail fail fail 267.576 56.110 true +real-instances-true/3660/Bakery4pBinEnc-FbOneOne-Nondet-Partial-32-1.gen 3660 fail fail fail fail 78.249 true +real-instances-true/3661/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1074-0.gen 3661 fail fail fail fail 108.193 true +real-instances-true/3662/IBakery4pBinEnc-FbOneOne-Nondet-Partial-48-1.gen 3662 fail fail fail 125.855 31.136 true +real-instances-true/3663/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1081-2.gen 3663 fail fail fail fail 88.576 true +real-instances-true/3664/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1048-1.gen 3664 fail fail fail 201.769 42.179 true +real-instances-true/3665/IBakery4pBinEnc-FbOneOne-Nondet-Partial-22-2.gen 3665 fail fail fail 121.018 25.506 true +real-instances-true/3669/IBakery4pBinEnc-FbOneOne-Nondet-Partial-43-1.gen 3669 fail fail fail 166.233 35.930 true +real-instances-true/3672/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1069-1.gen 3672 3.734 fail 7.210 3.349 0.891 true +real-instances-true/3673/IBakery4pBinEnc-FbOneOne-Nondet-Partial-1047-2.gen 3673 fail fail fail 188.383 33.464 true +real-instances-true/3676/Bakery4pBinEnc-FbOneOne-Nondet-Partial-37-1.gen 3676 fail fail fail 263.301 46.144 true +real-instances-true/3680/Bakery4pBinEnc-FbOneOne-Nondet-Partial-1055-0.gen 3680 fail fail 239.260 109.943 28.207 true +real-instances-true/3683/IBakery4pBinEnc-FbOneOne-Nondet-Partial-28-2.gen 3683 46.447 fail 41.361 18.074 4.203 true +real-instances-true/3687/Bakery4pBinEnc-FbOneOne-Nondet-Partial-23-1.gen 3687 fail fail fail 291.438 63.825 true +real-instances-true/3688/Bakery4pBinEnc-FbOneOne-Nondet-Partial-71-1.gen 3688 fail fail fail fail 72.446 true +real-instances-true/3697/IBakery4pBinEnc-FbOneOne-Nondet-Partial-41-0.gen 3697 fail fail fail fail 83.575 true +real-instances-true/3703/IBakery4pBinEnc-FbOneOne-Nondet-Partial-92-2.gen 3703 fail fail fail 252.959 67.565 true +real-instances-true/3713/IBakery4pBinEnc-FbOneOne-Nondet-Partial-45-2.gen 3713 fail fail fail 133.930 25.607 true +real-instances-true/3722/IBakery4pBinEnc-FbOneOne-Nondet-Partial-90-0.gen 3722 fail fail fail 133.699 24.804 true +real-instances-true/3723/IBakery4pBinEnc-FbOneOne-Nondet-Partial-53-1.gen 3723 fail fail fail 111.135 17.853 true +real-instances-true/3724/IBakery4pBinEnc-FbOneOne-Nondet-Partial-82-2.gen 3724 fail fail fail fail 61.074 true +real-instances-true/3725/Bakery4pBinEnc-FbOneOne-Nondet-Partial-70-0.gen 3725 fail fail fail 202.873 41.763 true +real-instances-true/3736/IBakery4pBinEnc-FbOneOne-Nondet-Partial-85-0.gen 3736 fail fail fail 222.280 60.013 true +real-instances-true/3752/Bakery4pBinEnc-FbOneOne-Nondet-Partial-89-0.gen 3752 fail fail fail fail 66.007 true +real-instances-true/3753/IBakery4pBinEnc-FbOneOne-Nondet-Partial-74-2.gen 3753 fail fail fail fail 61.378 true +real-instances-true/3759/Bakery4pBinEnc-FbOneOne-Nondet-Partial-72-0.gen 3759 fail fail 208.884 91.000 17.864 true +real-instances-true/3765/Bakery4pBinEnc-FbOneOne-Nondet-Partial-84-0.gen 3765 fail fail fail 253.518 40.215 true +real-instances-true/3773/Bakery4pBinEnc-FbOneOne-Nondet-Partial-94-1.gen 3773 fail fail 128.050 43.989 9.439 true +real-instances-true/3781/Bakery4pBinEnc-FbOneOne-Nondet-Partial-76-0.gen 3781 fail fail fail 278.589 48.921 true +real-instances-true/6074/Bakery5PUnrEnc-FbOneOne-Nondet-Partial-2-2.gen 6074 fail fail fail fail fail