crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf
|
UNSAT TT=277.071
|
UNSAT TT=563.088
|
UNSAT TT=492.227
|
UNSAT TT=601.023
|
UNSAT TT=277.071
|
UNSAT TT=562.277
|
UNSAT TT=321.79
|
UNSAT TT=300.579
|
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
|
UNSAT TT=489.662
|
UNSAT TT=606.112
|
? (TO) TT=1200.08
|
UNSAT TT=645.58
|
UNSAT TT=535.689
|
UNSAT TT=610.204
|
UNSAT TT=497.438
|
UNSAT TT=489.662
|
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
|
UNSAT TT=895.331
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
UNSAT TT=1086.71
|
? (TO) TT=1200.09
|
UNSAT TT=895.331
|
UNSAT TT=903.078
|
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
|
UNSAT TT=703.091
|
UNSAT TT=1174.41
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
UNSAT TT=798.986
|
UNSAT TT=1011.3
|
UNSAT TT=703.091
|
UNSAT TT=841.159
|
crafted/Difficult/contest05/ jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.12
|
crafted/Difficult/contest05/ jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
|
SAT TT=120.021
|
? (TO) TT=1200.08
|
SAT TT=120.021
|
? (TO) TT=1200.09
|
SAT TT=171.926
|
SAT TT=358.534
|
SAT TT=357.925
|
SAT TT=357.937
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Difficult/contest05/ jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
|
UNSAT TT=45.009
|
UNSAT TT=349.29
|
UNSAT TT=45.009
|
UNSAT TT=350.868
|
UNSAT TT=376.393
|
UNSAT TT=204.556
|
UNSAT TT=205.063
|
UNSAT TT=231.26
|
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
|
SAT TT=614.039
|
? (TO) TT=1200.05
|
SAT TT=614.039
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.12
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.03
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
|
SAT TT=284.484
|
SAT TT=284.789
|
? (TO) TT=1200.07
|
SAT TT=304.695
|
SAT TT=305.667
|
SAT TT=284.779
|
SAT TT=284.484
|
SAT TT=284.553
|
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.11
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
crafted/Difficult/contest05/ others/ linvrinv5.sat05-564.reshuffled-07.cnf
|
|
? (TO) TT=1200.12
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
crafted/Difficult/contest05/ others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
crafted/Difficult/contest05/ others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
crafted/Difficult/contest05/ others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Difficult/contest05/ others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
crafted/Difficult/contest05/ others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf
|
SAT TT=167.854
|
? (TO) TT=1200
|
? (TO) TT=1200.03
|
? (TO) TT=1200.13
|
SAT TT=167.854
|
SAT TT=456.592
|
? (TO) TT=1200
|
? (TO) TT=1200.07
|
crafted/Difficult/contest05/ QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
|
UNSAT TT=44.302
|
? (TO) TT=1200.06
|
UNSAT TT=91.151
|
UNSAT TT=650.951
|
UNSAT TT=100.952
|
UNSAT TT=46.363
|
UNSAT TT=57.145
|
UNSAT TT=44.302
|
crafted/Difficult/contest05/ QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
|
UNSAT TT=69.509
|
UNSAT TT=268.094
|
UNSAT TT=77.875
|
UNSAT TT=217.085
|
UNSAT TT=69.509
|
UNSAT TT=112.408
|
UNSAT TT=108.235
|
UNSAT TT=95.587
|
crafted/Difficult/contest05/ QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
|
UNSAT TT=79.448
|
UNSAT TT=998.674
|
UNSAT TT=103.409
|
? (TO) TT=1200.06
|
UNSAT TT=88.055
|
UNSAT TT=82.942
|
UNSAT TT=79.448
|
UNSAT TT=85.437
|
crafted/Difficult/contest05/ QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
|
UNSAT TT=90.296
|
UNSAT TT=413.659
|
UNSAT TT=98.796
|
UNSAT TT=262.325
|
UNSAT TT=90.296
|
UNSAT TT=114.394
|
UNSAT TT=161.89
|
UNSAT TT=107.675
|
crafted/Difficult/contest05/ QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
|
UNSAT TT=60.508
|
? (TO) TT=1200.05
|
UNSAT TT=78.83
|
? (TO) TT=1200.09
|
UNSAT TT=60.508
|
UNSAT TT=72.948
|
UNSAT TT=89.354
|
UNSAT TT=71.238
|
crafted/Difficult/contest05/ QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
|
UNSAT TT=70.981
|
UNSAT TT=433.262
|
UNSAT TT=101.974
|
UNSAT TT=379.024
|
UNSAT TT=78.408
|
UNSAT TT=70.981
|
UNSAT TT=80.981
|
UNSAT TT=139.787
|
crafted/Difficult/contest05/ QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
|
UNSAT TT=116.955
|
? (TO) TT=1200.05
|
UNSAT TT=116.955
|
? (TO) TT=1200.05
|
UNSAT TT=246.514
|
UNSAT TT=122.771
|
UNSAT TT=121.648
|
UNSAT TT=186.095
|
crafted/Difficult/contest05/ QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
|
UNSAT TT=788.779
|
UNSAT TT=843.959
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
UNSAT TT=836.743
|
UNSAT TT=1041.25
|
UNSAT TT=788.779
|
UNSAT TT=1058.9
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Difficult/contest05/ sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
crafted/Difficult/contest05/ sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
crafted/Difficult/contest05/ sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
|
SAT TT=1.729
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
? (TO) TT=1200.12
|
SAT TT=1.729
|
SAT TT=304.844
|
? (TO) TT=1200.05
|
SAT TT=305.442
|
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
|
UNSAT TT=1.898
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
UNSAT TT=1.898
|
UNSAT TT=288.534
|
UNSAT TT=4.761
|
UNSAT TT=287.526
|
crafted/Difficult/contest05/ sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
crafted/Difficult/contest05/ sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.14
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
crafted/Difficult/contest05/ sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.18
|
? (TO) TT=1200.17
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
CRAFTED/edgematching/ all/ em_11_3_4_all.cnf
|
SAT TT=5.012
|
SAT TT=13.895
|
SAT TT=5.012
|
SAT TT=7.153
|
SAT TT=12.747
|
SAT TT=22.034
|
SAT TT=68.957
|
SAT TT=65.18
|
CRAFTED/edgematching/ all/ em_12_2_4_all.cnf
|
SAT TT=11.356
|
SAT TT=238.18
|
SAT TT=11.356
|
SAT TT=233.358
|
SAT TT=636.72
|
SAT TT=259.193
|
SAT TT=180.244
|
SAT TT=52.282
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/edgematching/ all/ em_14_7_3_all.cnf
|
SAT TT=20.859
|
SAT TT=163.128
|
SAT TT=57.25
|
SAT TT=135.396
|
SAT TT=20.859
|
SAT TT=109.31
|
SAT TT=270.762
|
SAT TT=149.284
|
CRAFTED/ edgematching/ all/em_7_3_6_all.cnf
|
SAT TT=4.384
|
SAT TT=117.98
|
SAT TT=4.384
|
SAT TT=122.102
|
SAT TT=120.726
|
SAT TT=14.184
|
SAT TT=147.763
|
SAT TT=8.854
|
CRAFTED/ edgematching/ all/em_7_4_8_all.cnf
|
SAT TT=139.003
|
SAT TT=156.552
|
SAT TT=139.003
|
SAT TT=162.256
|
SAT TT=725.191
|
SAT TT=208.509
|
SAT TT=438.686
|
SAT TT=149.52
|
CRAFTED/ edgematching/ all/em_7_4_9_all.cnf
|
SAT TT=7.87
|
SAT TT=76.931
|
SAT TT=16.751
|
SAT TT=79.281
|
SAT TT=118.383
|
SAT TT=7.87
|
SAT TT=32.964
|
SAT TT=23.248
|
CRAFTED/ edgematching/ all/em_8_4_5_all.cnf
|
SAT TT=9.841
|
SAT TT=64.185
|
SAT TT=20.74
|
SAT TT=66.212
|
SAT TT=9.841
|
SAT TT=161.673
|
SAT TT=118.657
|
SAT TT=104.711
|
CRAFTED/edgematching/ compact/ em_11_3_4_cmp.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
CRAFTED/edgematching/ compact/ em_12_2_4_cmp.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.15
|
? (TO) TT=1200.11
|
? (TO) TT=1200
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
CRAFTED/edgematching/ compact/ em_14_7_3_cmp.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.26
|
? (TO) TT=1200.23
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
CRAFTED/edgematching/ compact/ em_7_3_6_cmp.cnf
|
SAT TT=189.332
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
SAT TT=189.332
|
SAT TT=662.1
|
? (TO) TT=1200.1
|
CRAFTED/edgematching/ compact/ em_7_4_8_cmp.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/edgematching/ compact/ em_7_4_9_cmp.cnf
|
SAT TT=39.185
|
SAT TT=416.305
|
SAT TT=105.171
|
SAT TT=433.357
|
SAT TT=174.814
|
SAT TT=221.921
|
SAT TT=39.185
|
SAT TT=88.151
|
CRAFTED/edgematching/ compact/ em_8_4_5_cmp.cnf
|
SAT TT=208.47
|
SAT TT=309.469
|
? (TO) TT=1200.02
|
SAT TT=324.679
|
SAT TT=208.47
|
SAT TT=879.468
|
SAT TT=602.8
|
? (TO) TT=1200.09
|
CRAFTED/edgematching/ compact/ em_9_3_5_cmp.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.01
|
CRAFTED/edgematching/ explicit/ em_11_3_4_exp.cnf
|
SAT TT=10.082
|
SAT TT=15.866
|
SAT TT=88.21
|
SAT TT=10.082
|
? (TO) TT=1200.14
|
SAT TT=16.418
|
SAT TT=388.91
|
SAT TT=30.281
|
CRAFTED/edgematching/ explicit/ em_12_2_4_exp.cnf
|
SAT TT=267.284
|
SAT TT=267.284
|
SAT TT=303.782
|
? (TO) TT=1200.13
|
SAT TT=713.056
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
CRAFTED/edgematching/ explicit/ em_7_3_6_exp.cnf
|
SAT TT=2.411
|
SAT TT=42.773
|
SAT TT=6.706
|
SAT TT=43.835
|
SAT TT=188.704
|
SAT TT=138.455
|
SAT TT=169.896
|
SAT TT=2.411
|
CRAFTED/edgematching/ explicit/ em_7_4_8_exp.cnf
|
SAT TT=104.932
|
SAT TT=121.524
|
SAT TT=376.438
|
SAT TT=120.169
|
SAT TT=381.552
|
SAT TT=452.962
|
SAT TT=104.932
|
SAT TT=611.122
|
CRAFTED/edgematching/ explicit/ em_7_4_9_exp.cnf
|
SAT TT=10.379
|
SAT TT=16.59
|
SAT TT=31.073
|
SAT TT=16.22
|
SAT TT=20.357
|
SAT TT=10.379
|
SAT TT=28.577
|
SAT TT=34.586
|
CRAFTED/edgematching/ explicit/ em_8_4_5_exp.cnf
|
SAT TT=20.846
|
SAT TT=44.886
|
SAT TT=46.496
|
SAT TT=43.304
|
SAT TT=72.854
|
SAT TT=20.846
|
SAT TT=65.884
|
SAT TT=31.858
|
CRAFTED/edgematching/ explicit/ em_9_3_5_exp.cnf
|
SAT TT=13.253
|
SAT TT=34.389
|
SAT TT=362.909
|
SAT TT=32.691
|
SAT TT=89.28
|
SAT TT=13.253
|
SAT TT=310.369
|
SAT TT=126.324
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/edgematching/ fbcolors/ em_11_3_4_fbc.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.16
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
CRAFTED/edgematching/ fbcolors/ em_12_2_4_fbc.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.15
|
? (TO) TT=1200.14
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
CRAFTED/edgematching/ fbcolors/ em_14_7_3_fbc.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.34
|
? (MO) TT=1110.89
|
? (MO) TT=1172.85
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
CRAFTED/edgematching/ fbcolors/ em_7_3_6_fbc.cnf
|
SAT TT=404.579
|
SAT TT=606.488
|
? (TO) TT=1200.03
|
SAT TT=603.887
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
SAT TT=404.579
|
SAT TT=1151.3
|
CRAFTED/edgematching/ fbcolors/ em_7_4_8_fbc.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.13
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
CRAFTED/edgematching/ fbcolors/ em_7_4_9_fbc.cnf
|
SAT TT=99.165
|
SAT TT=352.663
|
SAT TT=146.049
|
SAT TT=351.616
|
SAT TT=99.165
|
SAT TT=343
|
SAT TT=777.779
|
SAT TT=443.329
|
CRAFTED/edgematching/ fbcolors/ em_8_4_5_fbc.cnf
|
SAT TT=239.792
|
SAT TT=1009.04
|
? (TO) TT=1200.02
|
SAT TT=1043.76
|
? (TO) TT=1200.07
|
SAT TT=239.792
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
CRAFTED/edgematching/ fbcolors/ em_9_3_5_fbc.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.13
|
? (TO) TT=1200.04
|
? (TO) TT=1200
|
? (TO) TT=1200
|
? (TO) TT=1200.01
|
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.15
|
? (TO) TT=1200.18
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf
|
SAT TT=560.172
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
SAT TT=560.172
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.13
|
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
crafted/Hard/contest03/ others/ 999999000001nw.sat05-447.reshuffled-07.cnf
|
UNSAT TT=967.226
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
UNSAT TT=1129.84
|
UNSAT TT=967.226
|
crafted/Hard/contest03/ others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
|
|
? (TO) TT=1200.13
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.11
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
|
SAT TT=534.55
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
SAT TT=534.55
|
SAT TT=536.04
|
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.13
|
? (TO) TT=1200.12
|
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
|
|
? (TO) TT=1200.12
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
|
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
crafted/Hard/contest04/ others/ CompositeRSA576.sat05-509.reshuffled-07.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
crafted/Hard/contest04/ others/ equilarge_l2.sat05-519.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.13
|
? (TO) TT=1200.11
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Hard/contest04/ others/ equilarge_l3.sat05-520.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
crafted/Hard/contest04/ others/ equilarge_l4.sat05-521.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.12
|
crafted/Hard/contest04/ others/ ramsey.sat05-511.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.13
|
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
crafted/Hard/contest05/ counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
crafted/Hard/contest05/ others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf
|
|
? (TO) TT=1200.12
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
|
SAT TT=672.805
|
SAT TT=1147.45
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
SAT TT=672.805
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.11
|
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
|
SAT TT=104.389
|
SAT TT=415.485
|
? (TO) TT=1200.05
|
SAT TT=416.45
|
SAT TT=104.389
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
|
SAT TT=324.197
|
? (TO) TT=1200.03
|
SAT TT=324.197
|
? (TO) TT=1200.1
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
|
|
? (TO) TT=1200.2
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
|
UNSAT TT=448.96
|
UNSAT TT=665.269
|
UNSAT TT=523.732
|
UNSAT TT=638.916
|
UNSAT TT=448.96
|
UNSAT TT=469.304
|
UNSAT TT=788.1
|
UNSAT TT=758.708
|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
|
UNSAT TT=797.417
|
? (TO) TT=1200.07
|
UNSAT TT=797.417
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
|
UNSAT TT=220.435
|
? (TO) TT=1200.04
|
UNSAT TT=231.933
|
? (TO) TT=1200.09
|
UNSAT TT=255.401
|
UNSAT TT=225.593
|
UNSAT TT=236.571
|
UNSAT TT=220.435
|
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
|
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
? (TO) TT=1200.12
|
? (TO) TT=1200.05
|
crafted/Hard/contest05/ QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
crafted/Hard/contest05/ QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
|
UNSAT TT=434.976
|
UNSAT TT=688.667
|
? (TO) TT=1200.06
|
UNSAT TT=930.389
|
UNSAT TT=434.976
|
UNSAT TT=1061.72
|
UNSAT TT=819.684
|
UNSAT TT=1001.87
|
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.1
|
? (TO) TT=1200.12
|
? (TO) TT=1200.11
|
crafted/Medium/contest05/ jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
|
UNSAT TT=79.667
|
UNSAT TT=79.667
|
UNSAT TT=480.383
|
UNSAT TT=79.726
|
UNSAT TT=99.554
|
UNSAT TT=79.907
|
UNSAT TT=129.439
|
UNSAT TT=129.241
|
crafted/Medium/contest05/ jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
|
UNSAT TT=72.062
|
UNSAT TT=77.065
|
UNSAT TT=810.002
|
UNSAT TT=77.053
|
UNSAT TT=126.637
|
UNSAT TT=72.062
|
UNSAT TT=111.435
|
UNSAT TT=104.034
|
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
|
SAT TT=8.157
|
SAT TT=205.307
|
SAT TT=158.723
|
SAT TT=191.609
|
SAT TT=21.513
|
SAT TT=8.158
|
SAT TT=8.728
|
SAT TT=8.157
|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
|
SAT TT=35.228
|
SAT TT=74.415
|
SAT TT=35.228
|
SAT TT=79.708
|
SAT TT=79.885
|
SAT TT=74.379
|
SAT TT=79.746
|
SAT TT=79.735
|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
|
SAT TT=255.708
|
SAT TT=256.18
|
SAT TT=664.271
|
SAT TT=273.808
|
SAT TT=274.939
|
SAT TT=256.127
|
SAT TT=273.958
|
SAT TT=255.708
|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
|
SAT TT=173.631
|
SAT TT=173.631
|
? (TO) TT=1200
|
SAT TT=186.257
|
SAT TT=186.402
|
SAT TT=186.437
|
SAT TT=174.16
|
SAT TT=174.066
|
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
|
UNSAT TT=391.416
|
UNSAT TT=749.47
|
? (TO) TT=1200.07
|
UNSAT TT=1032.85
|
UNSAT TT=564.902
|
UNSAT TT=762.104
|
UNSAT TT=623.655
|
UNSAT TT=391.416
|
crafted/Medium/contest05/ others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
|
SAT TT=2.83
|
SAT TT=245.446
|
SAT TT=2.9
|
SAT TT=106.381
|
SAT TT=2.83
|
SAT TT=30.795
|
SAT TT=32.484
|
SAT TT=30.133
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Medium/contest05/ others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
|
SAT TT=2.423
|
SAT TT=100.796
|
SAT TT=6.443
|
SAT TT=74.264
|
SAT TT=2.423
|
SAT TT=38.163
|
SAT TT=33.831
|
SAT TT=37.549
|
crafted/Medium/contest05/ others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
|
SAT TT=1.83
|
SAT TT=45.838
|
SAT TT=6.776
|
SAT TT=146.676
|
SAT TT=1.83
|
SAT TT=37.525
|
SAT TT=26.942
|
SAT TT=43.011
|
crafted/Medium/contest05/ others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
|
UNSAT TT=48.583
|
UNSAT TT=59.221
|
UNSAT TT=69.564
|
UNSAT TT=65.716
|
UNSAT TT=48.583
|
UNSAT TT=49.608
|
UNSAT TT=48.668
|
UNSAT TT=51.598
|
crafted/Medium/contest05/ others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
|
UNSAT TT=44.607
|
UNSAT TT=81.579
|
UNSAT TT=44.607
|
UNSAT TT=203.488
|
UNSAT TT=162.744
|
UNSAT TT=635.94
|
UNSAT TT=643.199
|
UNSAT TT=656.54
|
crafted/Medium/contest05/ others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
|
UNSAT TT=60.657
|
UNSAT TT=195.837
|
UNSAT TT=90.85
|
UNSAT TT=160.993
|
UNSAT TT=106.605
|
UNSAT TT=129.849
|
UNSAT TT=60.657
|
UNSAT TT=112.095
|
crafted/Medium/contest05/ others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
|
UNSAT TT=79.993
|
UNSAT TT=155.855
|
UNSAT TT=89.167
|
UNSAT TT=133.4
|
UNSAT TT=81.863
|
UNSAT TT=84.308
|
UNSAT TT=97.949
|
UNSAT TT=79.993
|
crafted/Medium/contest05/ pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
|
UNSAT TT=0.076
|
? (TO) TT=1200.09
|
UNSAT TT=14.879
|
? (TO) TT=1200.1
|
UNSAT TT=0.076
|
UNSAT TT=1.77
|
UNSAT TT=0.316
|
UNSAT TT=1.763
|
crafted/Medium/contest05/ pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
|
UNSAT TT=0.528
|
? (TO) TT=1200.08
|
UNSAT TT=1.894
|
? (TO) TT=1200.07
|
UNSAT TT=0.528
|
UNSAT TT=19.003
|
UNSAT TT=11.884
|
UNSAT TT=19.236
|
crafted/Medium/contest05/ pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
|
UNSAT TT=0.26
|
? (TO) TT=1200.09
|
UNSAT TT=3.552
|
? (TO) TT=1200.01
|
UNSAT TT=0.26
|
UNSAT TT=9.71
|
UNSAT TT=10.926
|
UNSAT TT=9.696
|
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
|
UNSAT TT=9.239
|
UNSAT TT=9.239
|
UNSAT TT=18.569
|
UNSAT TT=9.24
|
UNSAT TT=11.518
|
UNSAT TT=9.241
|
UNSAT TT=12.746
|
UNSAT TT=11.969
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
|
UNSAT TT=138.578
|
UNSAT TT=161.029
|
? (TO) TT=1200.04
|
UNSAT TT=160.987
|
UNSAT TT=138.578
|
UNSAT TT=161.476
|
UNSAT TT=164.893
|
UNSAT TT=164.742
|
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
|
SAT TT=2.468
|
SAT TT=147.531
|
SAT TT=2.468
|
SAT TT=27.574
|
SAT TT=37.087
|
? (TO) TT=1200.04
|
SAT TT=35.338
|
SAT TT=5.7
|
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf
|
UNSAT TT=721.25
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
UNSAT TT=721.25
|
UNSAT TT=896.867
|
UNSAT TT=740.601
|
UNSAT TT=1046.02
|
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.14
|
? (TO) TT=1200.11
|
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf
|
SAT TT=4.705
|
SAT TT=4.705
|
SAT TT=20.783
|
SAT TT=4.988
|
SAT TT=5.403
|
SAT TT=17.207
|
SAT TT=21.465
|
? (TO) TT=1200.06
|
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
? (TO) TT=1200.05
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf
|
SAT TT=9.953
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
SAT TT=9.953
|
? (TO) TT=1200.1
|
? (TO) TT=1200.01
|
? (TO) TT=1200.06
|
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf
|
SAT TT=56.442
|
? (TO) TT=1200.09
|
SAT TT=880.994
|
? (TO) TT=1200.07
|
SAT TT=414.068
|
SAT TT=56.442
|
SAT TT=454.79
|
SAT TT=60.04
|
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.13
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.13
|
? (TO) TT=1200.09
|
? (TO) TT=1200.01
|
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf
|
SAT TT=1.718
|
SAT TT=16.463
|
SAT TT=7.847
|
SAT TT=30.06
|
SAT TT=1.718
|
SAT TT=2.83
|
SAT TT=6.714
|
SAT TT=5.68
|
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/modcircuits/ owp_4vars_5gates.cnf
|
UNSAT TT=0.12
|
UNSAT TT=0.215
|
UNSAT TT=1.003
|
UNSAT TT=0.12
|
UNSAT TT=0.23
|
UNSAT TT=1.118
|
UNSAT TT=1.429
|
UNSAT TT=1.18
|
CRAFTED/parity-games/ instance_n2_i2_pp.cnf
|
UNSAT TT=0.001
|
UNSAT TT=0.001
|
UNSAT TT=0.005
|
UNSAT TT=0.002
|
UNSAT TT=0.001
|
UNSAT TT=0.006
|
UNSAT TT=0.005
|
UNSAT TT=0.006
|
CRAFTED/parity-games/ instance_n2_i3_pp.cnf
|
UNSAT TT=0
|
UNSAT TT=0.002
|
UNSAT TT=0.005
|
UNSAT TT=0
|
UNSAT TT=0.001
|
UNSAT TT=0.006
|
UNSAT TT=0.008
|
UNSAT TT=0.008
|
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf
|
SAT TT=0.004
|
SAT TT=0.034
|
SAT TT=0.034
|
SAT TT=0.004
|
SAT TT=0.008
|
SAT TT=0.185
|
SAT TT=0.103
|
SAT TT=0.186
|
CRAFTED/parity-games/ instance_n3_i3_pp.cnf
|
SAT TT=0.006
|
SAT TT=0.033
|
SAT TT=0.036
|
SAT TT=0.006
|
SAT TT=0.012
|
SAT TT=0.125
|
SAT TT=0.083
|
SAT TT=0.134
|
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf
|
UNSAT TT=0.006
|
UNSAT TT=0.045
|
UNSAT TT=0.034
|
UNSAT TT=0.006
|
UNSAT TT=0.011
|
UNSAT TT=0.159
|
UNSAT TT=0.098
|
UNSAT TT=0.161
|
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf
|
SAT TT=0.054
|
SAT TT=0.16
|
SAT TT=0.166
|
SAT TT=0.102
|
SAT TT=0.054
|
SAT TT=2.465
|
SAT TT=2.222
|
SAT TT=2.5
|
CRAFTED/parity-games/ instance_n4_i4_pp.cnf
|
SAT TT=0.054
|
SAT TT=0.154
|
SAT TT=0.123
|
SAT TT=0.054
|
SAT TT=0.083
|
SAT TT=1.294
|
SAT TT=0.87
|
SAT TT=1.228
|
CRAFTED/parity-games/ instance_n4_i5_pp.cnf
|
UNSAT TT=0.423
|
UNSAT TT=0.57
|
UNSAT TT=0.534
|
UNSAT TT=0.519
|
UNSAT TT=0.423
|
UNSAT TT=1.808
|
UNSAT TT=1.451
|
UNSAT TT=1.699
|
CRAFTED/parity-games/ instance_n5_i5_pp.cnf
|
SAT TT=0.382
|
SAT TT=1.456
|
SAT TT=0.405
|
SAT TT=0.601
|
SAT TT=0.382
|
SAT TT=4.617
|
SAT TT=3.591
|
SAT TT=5.157
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf
|
UNSAT TT=1.912
|
UNSAT TT=2.287
|
UNSAT TT=2.079
|
UNSAT TT=3.109
|
UNSAT TT=1.912
|
UNSAT TT=22.752
|
UNSAT TT=19.658
|
UNSAT TT=21.487
|
CRAFTED/parity-games/ instance_n5_i6_pp.cnf
|
SAT TT=3.375
|
SAT TT=19.037
|
SAT TT=3.375
|
SAT TT=12.388
|
SAT TT=10.376
|
SAT TT=34.268
|
SAT TT=36.335
|
SAT TT=16.851
|
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf
|
SAT TT=11.776
|
SAT TT=63.043
|
SAT TT=11.776
|
SAT TT=90.496
|
SAT TT=32.704
|
SAT TT=122.119
|
SAT TT=134.417
|
SAT TT=114.622
|
CRAFTED/parity-games/ instance_n6_i6_pp.cnf
|
SAT TT=1.118
|
SAT TT=3.804
|
SAT TT=1.118
|
SAT TT=3.094
|
SAT TT=1.571
|
SAT TT=30.676
|
SAT TT=14.894
|
SAT TT=14.317
|
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf
|
UNSAT TT=164.724
|
UNSAT TT=207.6
|
UNSAT TT=164.724
|
UNSAT TT=226.665
|
UNSAT TT=164.803
|
UNSAT TT=278.749
|
UNSAT TT=353.63
|
UNSAT TT=276.845
|
CRAFTED/parity-games/ instance_n6_i7_pp.cnf
|
SAT TT=7.812
|
SAT TT=25.587
|
SAT TT=7.812
|
SAT TT=52.493
|
SAT TT=33.669
|
SAT TT=23.159
|
SAT TT=22.519
|
SAT TT=21.367
|
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf
|
SAT TT=20.519
|
SAT TT=1130.13
|
SAT TT=20.519
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
CRAFTED/parity-games/ instance_n7_i7_pp.cnf
|
SAT TT=4.532
|
SAT TT=271.174
|
SAT TT=4.532
|
SAT TT=33.433
|
SAT TT=7.679
|
SAT TT=63.378
|
SAT TT=70.393
|
SAT TT=40.669
|
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
CRAFTED/parity-games/ instance_n7_i8_pp.cnf
|
SAT TT=31.675
|
SAT TT=31.675
|
SAT TT=104.825
|
SAT TT=140.703
|
SAT TT=213.509
|
SAT TT=241.675
|
SAT TT=67.962
|
SAT TT=68.378
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf
|
SAT TT=85.241
|
SAT TT=105.363
|
SAT TT=85.241
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
CRAFTED/parity-games/ instance_n8_i8_pp.cnf
|
SAT TT=74.81
|
SAT TT=756.508
|
SAT TT=74.81
|
? (TO) TT=1200.1
|
SAT TT=415.695
|
SAT TT=207.413
|
SAT TT=96.468
|
SAT TT=657.477
|
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf
|
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.12
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.01
|
CRAFTED/parity-games/ instance_n8_i9_pp.cnf
|
SAT TT=228.781
|
? (TO) TT=1200.07
|
SAT TT=762.352
|
? (TO) TT=1200.07
|
SAT TT=705.979
|
? (TO) TT=1200.07
|
SAT TT=1095.81
|
SAT TT=228.781
|
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.13
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
CRAFTED/parity-games/ instance_n9_i9_pp.cnf
|
SAT TT=379.428
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.15
|
? (TO) TT=1200.11
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
SAT TT=379.428
|
CRAFTED/ ramseycube/ Q32inK09.cnf
|
UNSAT TT=45.694
|
UNSAT TT=47.592
|
UNSAT TT=554.244
|
UNSAT TT=52.147
|
UNSAT TT=46.86
|
UNSAT TT=48.213
|
UNSAT TT=45.694
|
UNSAT TT=46.654
|
CRAFTED/ ramseycube/ Q32inK10.cnf
|
UNSAT TT=143.652
|
UNSAT TT=143.652
|
UNSAT TT=615.961
|
UNSAT TT=149.899
|
UNSAT TT=167.205
|
UNSAT TT=146.573
|
UNSAT TT=145.654
|
UNSAT TT=148.213
|
CRAFTED/ ramseycube/ Q32inK11.cnf
|
UNSAT TT=553.227
|
UNSAT TT=553.227
|
UNSAT TT=576.173
|
UNSAT TT=566.025
|
UNSAT TT=1125.65
|
UNSAT TT=572.148
|
UNSAT TT=572.564
|
UNSAT TT=572.632
|
CRAFTED/ ramseycube/ Q3inK08.cnf
|
SAT TT=0.004
|
SAT TT=0.028
|
SAT TT=0.249
|
SAT TT=0.004
|
SAT TT=0.047
|
SAT TT=0.057
|
SAT TT=0.064
|
SAT TT=0.067
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/ ramseycube/ Q3inK09.cnf
|
SAT TT=0.022
|
SAT TT=0.219
|
SAT TT=16.534
|
SAT TT=0.022
|
SAT TT=5.915
|
SAT TT=0.905
|
SAT TT=1.047
|
SAT TT=1.011
|
CRAFTED/ ramseycube/ Q3inK10.cnf
|
SAT TT=0.108
|
SAT TT=1.081
|
SAT TT=201.818
|
SAT TT=0.108
|
SAT TT=141.762
|
SAT TT=7.614
|
SAT TT=7.954
|
SAT TT=8.013
|
CRAFTED/ ramseycube/ Q3inK11.cnf
|
SAT TT=0.531
|
SAT TT=4.08
|
? (TO) TT=1200.06
|
SAT TT=0.531
|
? (TO) TT=1200.07
|
SAT TT=46.917
|
SAT TT=50.928
|
SAT TT=48.77
|
CRAFTED/ ramseycube/ Q3inK12.cnf
|
SAT TT=2.505
|
SAT TT=13.141
|
? (TO) TT=1200.08
|
SAT TT=2.505
|
? (TO) TT=1200.08
|
SAT TT=220.82
|
SAT TT=224.867
|
SAT TT=226.17
|
CRAFTED/ ramseycube/ Q3inK13.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
CRAFTED/rbsat/crafted/ forced/ rbsat-v1150c84314gyes1.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.13
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.04
|
CRAFTED/rbsat/crafted/ forced/ rbsat-v1150c84314gyes2.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
? (TO) TT=1200.09
|
CRAFTED/rbsat/crafted/ forced/ rbsat-v1560c133795gyes9.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
CRAFTED/rbsat/crafted/ forced/ rbsat-v1820c171155gyes6.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
CRAFTED/rbsat/crafted/ forced/ rbsat-v2640c305320gyes8.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/rbsat/crafted/ forced/ rbsat-v760c43649gyes1.cnf
|
SAT TT=371.4
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
SAT TT=371.4
|
CRAFTED/rbsat/crafted/ forced/ rbsat-v945c61409gyes2.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
CRAFTED/rbsat/crafted/ forced/ rbsat-v945c61409gyes8.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1375c111739g2.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.12
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1375c111739g6.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.07
|
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1820c171155g4.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.12
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
CRAFTED/rbsat/crafted/ unforced/ rbsat-v2400c266431g5.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.03
|
? (TO) TT=1200.13
|
? (TO) TT=1200.12
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
CRAFTED/rbsat/crafted/ unforced/ rbsat-v2640c305320g4.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.16
|
? (TO) TT=1200.16
|
? (TO) TT=1200
|
? (TO) TT=1200.04
|
? (TO) TT=1200.04
|
CRAFTED/rbsat/random/ forced/ rbsat-v1150c84314gyes3.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.11
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.01
|
? (TO) TT=1200.03
|
CRAFTED/rbsat/random/ forced/ rbsat-v2100c215164gyes2.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.07
|
? (TO) TT=1200.16
|
? (TO) TT=1200.13
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.01
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes10.cnf
|
SAT TT=7.029
|
SAT TT=455.593
|
SAT TT=18.725
|
SAT TT=469.358
|
SAT TT=7.029
|
SAT TT=454.753
|
SAT TT=143.477
|
SAT TT=286.429
|
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes1.cnf
|
SAT TT=264.031
|
? (TO) TT=1200.1
|
SAT TT=264.031
|
? (TO) TT=1200.12
|
? (TO) TT=1200.1
|
? (TO) TT=1200.08
|
SAT TT=880.375
|
SAT TT=459.02
|
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes4.cnf
|
SAT TT=103.109
|
SAT TT=218.971
|
SAT TT=181.134
|
SAT TT=225.395
|
SAT TT=365.839
|
SAT TT=218.87
|
SAT TT=103.109
|
SAT TT=303.24
|
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes6.cnf
|
SAT TT=312.392
|
SAT TT=554.249
|
SAT TT=312.392
|
SAT TT=552.764
|
SAT TT=681.754
|
SAT TT=552.711
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
CRAFTED/rbsat/random/ forced/ rbsat-v945c61409gyes4.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.04
|
CRAFTED/rbsat/random/ forced/ rbsat-v945c61409gyes9.cnf
|
SAT TT=1014.4
|
? (TO) TT=1200.09
|
SAT TT=1014.4
|
? (TO) TT=1200.1
|
? (TO) TT=1200.1
|
? (TO) TT=1200.04
|
? (TO) TT=1200.1
|
? (TO) TT=1200.02
|
CRAFTED/rbsat/random/ unforced/ rbsat-v1150c84314g2.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200
|
? (TO) TT=1200.06
|
CRAFTED/rbsat/random/ unforced/ rbsat-v1820c171155g3.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
CRAFTED/rbsat/random/ unforced/ rbsat-v2640c305320g2.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.15
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.01
|
? (TO) TT=1200.09
|
CRAFTED/rbsat/random/ unforced/ rbsat-v2640c305320g6.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.17
|
? (TO) TT=1200.13
|
? (TO) TT=1200.03
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g10.cnf
|
SAT TT=120.122
|
? (TO) TT=1200.05
|
SAT TT=206.735
|
? (TO) TT=1200.07
|
SAT TT=348.652
|
? (TO) TT=1200.05
|
SAT TT=120.122
|
? (TO) TT=1200.02
|
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g1.cnf
|
SAT TT=674.249
|
? (TO) TT=1200.04
|
SAT TT=674.249
|
? (TO) TT=1200.09
|
SAT TT=891.79
|
? (TO) TT=1200.08
|
SAT TT=778.648
|
SAT TT=712.315
|
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g4.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g8.cnf
|
SAT TT=162.233
|
SAT TT=188.983
|
SAT TT=736.526
|
SAT TT=194.038
|
SAT TT=1194.6
|
SAT TT=188.274
|
SAT TT=162.233
|
SAT TT=305.076
|
CRAFTED/rbsat/random/ unforced/ rbsat-v945c61409g10.cnf
|
SAT TT=41.259
|
? (TO) TT=1200.04
|
SAT TT=41.259
|
? (TO) TT=1200.05
|
SAT TT=577.542
|
? (TO) TT=1200.07
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf
|
SAT TT=1.581
|
SAT TT=1.581
|
SAT TT=500.612
|
SAT TT=1.589
|
SAT TT=1.589
|
SAT TT=1.601
|
SAT TT=1.715
|
SAT TT=1.59
|
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf
|
SAT TT=120.115
|
SAT TT=128.883
|
? (TO) TT=1200.09
|
SAT TT=128.508
|
SAT TT=128.693
|
SAT TT=120.115
|
SAT TT=120.402
|
SAT TT=128.748
|
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf
|
SAT TT=746.247
|
SAT TT=800.178
|
? (TO) TT=1200.04
|
SAT TT=746.247
|
SAT TT=748.81
|
SAT TT=747.009
|
SAT TT=748.712
|
SAT TT=801.014
|
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf
|
SAT TT=716.225
|
SAT TT=767.034
|
? (TO) TT=1200
|
SAT TT=765.607
|
SAT TT=767.979
|
SAT TT=717.043
|
SAT TT=716.225
|
SAT TT=716.309
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.03
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.01
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.12
|
? (TO) TT=1200.12
|
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.08
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.11
|
? (TO) TT=1200.02
|
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf
|
|
? (TO) TT=1200.03
|
? (TO) TT=1200.03
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.11
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
CRAFTED/sgen/ unsat/ sgen1-unsat-103-100.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.05
|
? (TO) TT=1200.08
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.05
|
CRAFTED/sgen/ unsat/ sgen1-unsat-109-100.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.09
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/sgen/ unsat/ sgen1-unsat-115-100.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
CRAFTED/sgen/ unsat/ sgen1-unsat-121-100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.02
|
? (TO) TT=1200.06
|
? (TO) TT=1200.06
|
? (TO) TT=1200.03
|
? (TO) TT=1200.07
|
? (TO) TT=1200.08
|
CRAFTED/sgen/ unsat/ sgen1-unsat-127-100.cnf
|
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.07
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.08
|
CRAFTED/sgen/ unsat/ sgen1-unsat-133-100.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.05
|
? (TO) TT=1200.04
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.11
|
? (TO) TT=1200.11
|
CRAFTED/sgen/ unsat/ sgen1-unsat-139-100.cnf
|
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.1
|
? (TO) TT=1200.09
|
? (TO) TT=1200.12
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
CRAFTED/sgen/ unsat/ sgen1-unsat-145-100.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.03
|
? (TO) TT=1200.1
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.09
|
CRAFTED/sgen/ unsat/ sgen1-unsat-151-100.cnf
|
|
? (TO) TT=1200.09
|
? (TO) TT=1200.05
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.11
|
? (TO) TT=1200.03
|
? (TO) TT=1200.04
|
CRAFTED/sgen/ unsat/ sgen1-unsat-61-100.cnf
|
UNSAT TT=2.589
|
UNSAT TT=2.912
|
UNSAT TT=2.589
|
UNSAT TT=3.124
|
UNSAT TT=3.147
|
UNSAT TT=2.938
|
UNSAT TT=2.927
|
UNSAT TT=3.064
|
CRAFTED/sgen/ unsat/ sgen1-unsat-73-100.cnf
|
UNSAT TT=17.889
|
UNSAT TT=17.889
|
UNSAT TT=53.116
|
UNSAT TT=17.907
|
UNSAT TT=17.895
|
UNSAT TT=17.954
|
UNSAT TT=18.207
|
UNSAT TT=17.947
|
CRAFTED/sgen/ unsat/ sgen1-unsat-85-100.cnf
|
UNSAT TT=281.614
|
UNSAT TT=281.614
|
? (TO) TT=1200.06
|
UNSAT TT=301.68
|
UNSAT TT=281.733
|
UNSAT TT=302.005
|
UNSAT TT=302.113
|
UNSAT TT=302.067
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/sgen/ unsat/ sgen1-unsat-97-100.cnf
|
|
? (TO) TT=1200.11
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200.03
|
? (TO) TT=1200.08
|
? (TO) TT=1200.1
|
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf
|
SAT TT=0.789
|
SAT TT=27.401
|
SAT TT=112.035
|
SAT TT=28.402
|
SAT TT=27.681
|
SAT TT=27.082
|
SAT TT=26.098
|
SAT TT=0.789
|
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf
|
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.1
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.06
|
? (TO) TT=1200.09
|
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf
|
SAT TT=16.667
|
SAT TT=573.293
|
SAT TT=16.667
|
SAT TT=597.859
|
SAT TT=184.685
|
SAT TT=573.702
|
SAT TT=639.821
|
SAT TT=359.414
|
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf
|
|
? (TO) TT=1200.07
|
? (TO) TT=1200.04
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.01
|
? (TO) TT=1200.08
|
? (TO) TT=1200.06
|
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf
|
|
? (TO) TT=1200.02
|
? (TO) TT=1200.07
|
? (TO) TT=1200.02
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
? (TO) TT=1200.02
|
? (TO) TT=1200.05
|
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf
|
|
? (TO) TT=1200.08
|
? (TO) TT=1200.07
|
? (TO) TT=1200.06
|
? (TO) TT=1200.08
|
? (TO) TT=1200.08
|
? (TO) TT=1200.05
|
? (TO) TT=1200
|
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf
|
|
? (TO) TT=1200.06
|
? (TO) TT=1200.05
|
? (TO) TT=1200.09
|
? (TO) TT=1200.09
|
? (TO) TT=1200.04
|
? (TO) TT=1200.03
|
? (TO) TT=1200
|
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf
|
SAT TT=0.004
|
SAT TT=0.098
|
SAT TT=0.095
|
SAT TT=0.004
|
SAT TT=0.026
|
SAT TT=0.04
|
SAT TT=0.062
|
SAT TT=0.055
|
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf
|
SAT TT=0.004
|
SAT TT=0.118
|
SAT TT=0.114
|
SAT TT=0.004
|
SAT TT=0.032
|
SAT TT=0.043
|
SAT TT=0.073
|
SAT TT=0.068
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf
|
SAT TT=0.005
|
SAT TT=0.136
|
SAT TT=0.139
|
SAT TT=0.005
|
SAT TT=0.04
|
SAT TT=0.05
|
SAT TT=0.083
|
SAT TT=0.076
|
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf
|
SAT TT=0.006
|
SAT TT=0.193
|
SAT TT=0.217
|
SAT TT=0.006
|
SAT TT=0.068
|
SAT TT=0.072
|
SAT TT=0.134
|
SAT TT=0.12
|
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf
|
SAT TT=0.007
|
SAT TT=0.22
|
SAT TT=0.235
|
SAT TT=0.007
|
SAT TT=0.074
|
SAT TT=0.076
|
SAT TT=0.139
|
SAT TT=0.122
|
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf
|
SAT TT=0.007
|
SAT TT=0.224
|
SAT TT=0.249
|
SAT TT=0.007
|
SAT TT=0.072
|
SAT TT=0.082
|
SAT TT=0.154
|
SAT TT=0.133
|
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf
|
SAT TT=0.007
|
SAT TT=0.237
|
SAT TT=0.293
|
SAT TT=0.007
|
SAT TT=0.084
|
SAT TT=0.089
|
SAT TT=0.166
|
SAT TT=0.14
|
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf
|
SAT TT=0.008
|
SAT TT=0.253
|
SAT TT=0.313
|
SAT TT=0.008
|
SAT TT=0.085
|
SAT TT=0.094
|
SAT TT=0.175
|
SAT TT=0.159
|
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf
|
SAT TT=0.009
|
SAT TT=0.283
|
SAT TT=0.367
|
SAT TT=0.009
|
SAT TT=0.113
|
SAT TT=0.11
|
SAT TT=0.207
|
SAT TT=0.177
|
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf
|
SAT TT=0.01
|
SAT TT=0.318
|
SAT TT=0.425
|
SAT TT=0.01
|
SAT TT=0.118
|
SAT TT=0.122
|
SAT TT=0.232
|
SAT TT=0.197
|
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf
|
SAT TT=0.012
|
SAT TT=0.404
|
SAT TT=0.548
|
SAT TT=0.012
|
SAT TT=0.177
|
SAT TT=0.155
|
SAT TT=0.319
|
SAT TT=0.25
|
CRAFTED/sgi/ sgi-difficult4.cnf
|
SAT TT=0.008
|
SAT TT=0.256
|
SAT TT=0.51
|
SAT TT=0.008
|
SAT TT=0.101
|
SAT TT=0.122
|
SAT TT=0.544
|
SAT TT=0.173
|
Bench name | Best results | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
CRAFTED/sgi/ sgi-difficult7.cnf
|
SAT TT=0.014
|
SAT TT=0.504
|
SAT TT=1.487
|
SAT TT=0.014
|
SAT TT=0.284
|
SAT TT=0.268
|
SAT TT=1.678
|
SAT TT=0.383
|
|
Statistics | IUT_BMB_SIM 1.0 (complete) | kw_pre 2009-03-21 (complete) | minisat2-core 070721 (complete) | minisat2-simp 070721 (complete) | ReVivAl 0.23 2009-03-18 (complete) | ReVivAl 0.23 + SatElite 2009-03-18 (complete) | SatElite + ReVivAl 0.23 2009-03-18 (complete) |
Number of times the solver is able to give the best known answer | 107 | 106 | 100 | 119 | 114 | 119 | 119 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 12 | 29 | 26 | 32 | 10 | 15 | 14 |