SAT 2011 Competition: main competition (phase 2): benchmarks results per solver
Result page for solver sattime
2011-03-02
(incomplete)
Category "crafted instances" (CRAFTED)
Solver found a solution (SATISFIABLE) (109 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/skvortsov/battleship/
battleship-7-13-sat.cnf
SAT
0.001999
0.0187991
3427212
crafted/skvortsov/battleship/
battleship-8-15-sat.cnf
SAT
0.001999
0.00981003
3427195
crafted/skvortsov/battleship/
battleship-9-17-sat.cnf
SAT
0.002999
0.018817
3427215
crafted/mosoi/289/
289-sat-4x8.cnf
SAT
0.002999
0.019372
3427154
crafted/skvortsov/battleship/
battleship-10-17-sat.cnf
SAT
0.003999
0.00978289
3427192
crafted/skvortsov/battleship/
battleship-10-19-sat.cnf
SAT
0.004998
0.018745
3427211
crafted/skvortsov/battleship/
battleship-10-18-sat.cnf
SAT
0.004998
0.0172679
3427199
crafted/mosoi/289/
289-sat-5x8.cnf
SAT
0.004999
0.0173971
3427169
crafted/mosoi/
289/289-sat-11x4.cnf
SAT
0.006998
0.017673
3427174
crafted/mosoi/289/
289-sat-7x6.cnf
SAT
0.006998
0.0175839
3427168
crafted/skvortsov/battleship/
battleship-12-23-sat.cnf
SAT
0.007997
0.0183451
3427206
crafted/mosoi/289/
289-sat-6x8.cnf
SAT
0.007998
0.0174229
3427176
crafted/skvortsov/battleship/
battleship-11-21-sat.cnf
SAT
0.007998
0.0187451
3427214
crafted/mosoi/289/
289-sat-6x9.cnf
SAT
0.010998
0.0157779
3427179
crafted/skvortsov/battleship/
battleship-14-27-sat.cnf
SAT
0.015997
0.0184201
3427207
SAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
SAT
0.017996
0.018803
3427290
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_110.shuffled.cnf
SAT
0.025996
0.0284429
3427336
crafted/skvortsov/battleship/
battleship-15-29-sat.cnf
SAT
0.026995
0.027201
3427213
crafted/skvortsov/battleship/
battleship-16-31-sat.cnf
SAT
0.030994
0.0313389
3427193
CRAFTED/sgi/
satsgi-n26himBHm28-p0-q293.cnf
SAT
0.034993
0.0377691
3426481
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
SAT
0.034993
0.071761
3427335
SAT04/handmade/anton/l5k3/
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf
SAT
0.034994
0.0356321
3427289
crafted/skvortsov/battleship/
battleship-17-33-sat.cnf
SAT
0.038993
0.038762
3427210
SAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
SAT
0.05499
0.058676
3427337
crafted/mosoi/
289/289-sat-11x9.cnf
SAT
0.056991
0.057304
3427178
crafted/mosoi/
289/289-sat-6x19.cnf
SAT
0.076987
0.079131
3427151
crafted/mosoi/
289/289-sat-11x10.cnf
SAT
0.076987
0.0770981
3427167
crafted/mosoi/
289/289-sat-14x8.cnf
SAT
0.086986
0.088677
3427161
crafted/mosoi/
289/289-sat-6x20.cnf
SAT
0.088985
0.0889819
3427162
crafted/mosoi/
289/289-sat-9x13.cnf
SAT
0.089985
0.0903881
3427164
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
SAT
0.095984
0.0966
3427334
SAT02/handmade/pehoushek/twentyvars/
7cnf20_90000_90000_7.shuffled.cnf
SAT
0.108983
0.109814
3427331
crafted/mosoi/
289/289-sat-4x35.cnf
SAT
0.114981
0.114187
3427155
crafted/spence/sgen/
sgen3-n120-s12930489-sat.cnf
SAT
0.135978
0.136067
3427145
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_527.cnf
SAT
0.159975
0.161195
3427223
SAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
SAT
0.170973
0.17076
3427291
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
SAT
0.234964
0.235562
3427148
crafted/skvortsov/battleship/
battleship-24-57-sat.cnf
SAT
0.241962
0.245238
3427196
crafted/mosoi/
289/289-sat-12x14.cnf
SAT
0.25696
0.257241
3427172
crafted/mosoi/289/
289-unsat-6x30.cnf
SAT
0.275957
0.27623
3427153
crafted/skvortsov/battleship/
battleship-14-26-sat.cnf
SAT
0.299953
0.301854
3427202
crafted/mosoi/
289/289-sat-12x15.cnf
SAT
0.313951
0.313866
3427157
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p15-s58217873.cnf
SAT
0.32395
0.324583
3427354
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g7.cnf
SAT
0.32595
0.326654
3426491
SAT05/crafted/sorge05/QG8/
iso-ukn009.shuffled-as.sat05-3632.cnf
SAT
0.413936
0.414535
3427329
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
SAT
0.571912
0.572212
3427347
CRAFTED/rbsat/crafted/unforced/
rbsat-v945c61409g3.cnf
SAT
0.619904
0.622167
3426512
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
SAT
0.650901
0.65234
3427361
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
SAT
0.874866
0.877882
3426522
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
SAT
0.978851
0.979275
3427134
SAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
SAT
1.07184
1.07459
3427284
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g9.cnf
SAT
1.3178
1.31892
3426510
SAT03/handmade/anton/SAT/
SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf
SAT
1.35479
1.35597
3427276
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
SAT
1.62675
1.62686
3426530
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
SAT
1.77373
1.77362
3427131
SAT05/crafted/sorge05/QG7a/
gensys-brn002.shuffled-as.sat05-3935.cnf
SAT
1.84972
1.85097
3427319
SAT05/crafted/sorge05/QG7/
iso-ukn004.shuffled-as.sat05-3385.cnf
SAT
2.28365
2.28786
3427325
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
SAT
2.38564
2.38641
3426519
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf
SAT
2.88956
2.88922
3427365
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_511.cnf
SAT
2.97055
2.97134
3427221
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
SAT
3.35649
3.35652
3427135
SAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
SAT
3.83642
3.83796
3427285
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
SAT
4.91525
4.91649
3426498
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
SAT
5.54516
5.54612
3426486
crafted/spence/sgen/
sgen3-n300-s12830984-sat.cnf
SAT
5.63714
5.63746
3427132
CRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
SAT
8.50471
8.50531
3426502
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
SAT
9.16361
9.16369
3427368
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
SAT
11.6932
11.6945
3426513
crafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p30-s39712998.cnf
SAT
12.2241
12.2244
3427351
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
SAT
13.382
13.3845
3426484
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes5.cnf
SAT
14.7498
14.75
3426516
crafted/spence/sgen/
sgen3-n240-s78945233-sat.cnf
SAT
15.8616
15.8614
3427147
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g5.cnf
SAT
16.7375
16.7407
3426487
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf
SAT
16.8614
16.8611
3427355
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2071.cnf
SAT
17.0104
17.0115
3427224
crafted/spence/sgen/
sgen3-n260-s62321009-sat.cnf
SAT
17.0544
17.0555
3427146
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf
SAT
17.6193
17.6198
3427343
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g1.cnf
SAT
18.4892
18.4916
3426485
crafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
SAT
18.5112
18.5107
3427356
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes1.cnf
SAT
20.3459
20.3467
3426523
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
20.4749
20.4754
3426475
SAT04/handmade/kexu/frb-0.8/
frb45-21-1.used-as.sat04-883.cnf
SAT
25.0772
25.0811
3427286
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
SAT
36.7894
36.7891
3427139
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g4.cnf
SAT
76.6853
76.6831
3426494
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
SAT
85.831
85.8287
3426517
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p15-s72490337.cnf
SAT
93.1798
93.1757
3427364
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf
SAT
99.6229
99.6271
3427350
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
SAT
100.348
100.346
3426521
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g3.cnf
SAT
105.289
105.286
3426490
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
SAT
107.621
107.618
3427227
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
SAT
114.827
114.831
3426508
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
SAT
193.193
193.186
3427231
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
SAT
220.526
220.535
3427366
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
SAT
239.767
239.757
3426476
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_443.cnf
SAT
250.881
250.951
3427238
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
SAT
318.765
318.761
3426495
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
SAT
360.386
360.43
3427234
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
SAT
401.165
401.158
3426472
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf
SAT
454.226
454.291
3427353
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
634.29
634.269
3426477
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
SAT
775.246
775.219
3426507
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
SAT
794.087
794.085
3427346
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
SAT
956.159
956.139
3427241
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
SAT
1174.59
1174.57
3427242
crafted/spence/sgen/
sgen3-n280-s93756482-sat.cnf
SAT
1280.56
1280.52
3427142
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-24_567.cnf
SAT
2230.9
2230.82
3427228
SAT04/handmade/kexu/frb-0.8/
frb59-26-1.used-as.sat04-891.cnf
SAT
3328.84
3328.74
3427288
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf
SAT
3529.03
3528.98
3427362
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
SAT
4711.28
4711.14
3426524
Solver timed out (no solution given) (191 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
? (TO)
5000.03
4999.92
3427309
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
? (TO)
5000.03
4999.92
3427313
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
5000.03
5000.02
3426473
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes6.cnf
? (TO)
5000.03
4999.92
3426499
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
? (TO)
5000.03
4999.92
3427252
SAT03/handmade/gomes/bqwh/
bqwh.50.825.shuffled-as.sat03-1648.cnf
? (TO)
5000.03
4999.92
3427253
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
? (TO)
5000.03
4999.92
3426518
CRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g2.cnf
? (TO)
5000.03
5000.02
3426515
crafted/mosoi/289/
289-unsat-17x30.cnf
? (TO)
5000.03
5000.02
3427165
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
5000.03
4999.92
3426474
crafted/skvortsov/
automata-synchronization/crn_11_99_u.cnf
? (TO)
5000.03
4999.92
3427186
crafted/skvortsov/
automata-synchronization/crn_20_361_s.cnf
? (TO)
5000.03
4999.92
3427187
SAT03/handmade/anton/UNSAT/
SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf
? (TO)
5000.03
4999.92
3427268
SAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
? (TO)
5000.03
4999.92
3427277
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
? (TO)
5000.03
4999.92
3427300
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf
? (TO)
5000.03
4999.92
3427303
SAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
? (TO)
5000.04
4999.91
3427324
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf
? (TO)
5000.04
4999.92
3427367
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
? (TO)
5000.04
4999.91
3427341
SAT02/handmade/zhang-lintao/
xor-chain/x1_80.shuffled.cnf
? (TO)
5000.04
4999.92
3427340
SAT02/handmade/simon/satex-challenges/
par32-3.shuffled.cnf
? (TO)
5000.04
4999.92
3427339
SAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
? (TO)
5000.04
4999.92
3427321
SAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
? (TO)
5000.04
4999.92
3427320
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
? (TO)
5000.04
4999.92
3427310
SAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-020-019.shuffled-as.sat05-1190.cnf
? (TO)
5000.04
4999.92
3427311
SAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
? (TO)
5000.04
4999.92
3427297
SAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
? (TO)
5000.04
4999.92
3427271
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf
? (TO)
5000.04
4999.92
3427266
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf
? (TO)
5000.04
5000.12
3427263
SAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
? (TO)
5000.04
4999.92
3427262
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_060.shuffled.cnf
? (TO)
5000.04
4999.92
3427333
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
? (TO)
5000.04
4999.92
3427258
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
? (TO)
5000.04
4999.92
3427218
crafted/skvortsov/battleship/
battleship-6-9-unsat.cnf
? (TO)
5000.04
4999.92
3427209
crafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
? (TO)
5000.04
4999.92
3427204
crafted/skvortsov/battleship/
battleship-5-8-unsat.cnf
? (TO)
5000.04
4999.92
3427201
crafted/mosoi/289/
289-unsat-7x39.cnf
? (TO)
5000.04
4999.92
3427163
crafted/spence/sgen/
sgen3-n160-s73223945-unsat.cnf
? (TO)
5000.04
4999.92
3427137
CRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
? (TO)
5000.04
4999.92
3426527
CRAFTED/rbsat/crafted/
forced/rbsat-v2100c215164gyes4.cnf
? (TO)
5000.04
4999.92
3426520
SAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
? (TO)
5000.04
4999.92
3427254
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
? (TO)
5000.04
4999.92
3427245
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf
? (TO)
5000.04
4999.92
3427243
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_406.cnf
? (TO)
5000.04
4999.92
3427239
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
? (TO)
5000.04
4999.92
3426500
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
? (TO)
5000.04
4999.92
3426479
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
5000.05
4999.82
3426525
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
? (TO)
5000.05
4999.82
3427275
SAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
? (TO)
5000.05
4999.92
3427295
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf
? (TO)
5000.05
5000.02
3427301
crafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
? (TO)
5000.05
4999.92
3427208
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
? (TO)
5000.05
4999.92
3427249
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
? (TO)
5000.05
4999.82
3427352
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
? (TO)
5000.05
4999.92
3427217
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
? (TO)
5000.05
4999.92
3427219
crafted/spence/sgen/
sgen3-n140-s20078956-unsat.cnf
? (TO)
5000.05
4999.82
3427143
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
? (TO)
5000.05
4999.82
3427226
SAT03/handmade/anton/UNSAT/
SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf
? (TO)
5000.05
5000.12
3427265
SAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
? (TO)
5000.05
4999.82
3427264
crafted/mosoi/289/
289-unsat-21x39.cnf
? (TO)
5000.05
4999.93
3427177
SAT03/handmade/stanion/hwb/
hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf
? (TO)
5000.05
5000.02
3427279
crafted/skvortsov/
automata-synchronization/crn_11_100_s.cnf
? (TO)
5000.05
4999.92
3427183
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf
? (TO)
5000.06
4999.92
3427306
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
? (TO)
5000.06
4999.82
3427369
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
? (TO)
5000.06
4999.91
3427261
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g9.cnf
? (TO)
5000.06
4999.92
3426488
SAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
? (TO)
5000.06
4999.92
3427260
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
? (TO)
5000.06
4999.92
3427363
crafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
? (TO)
5000.06
4999.92
3427198
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
? (TO)
5000.06
4999.92
3427308
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes2.cnf
? (TO)
5000.06
4999.93
3426496
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
? (TO)
5000.06
5000.02
3427345
SAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
? (TO)
5000.06
4999.91
3427293
SAT03/handmade/bevan/cnf/
marg3x3add8ch.shuffled-as.sat03-1448.cnf
? (TO)
5000.06
4999.92
3427283
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
? (TO)
5000.06
4999.91
3427236
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf
? (TO)
5000.06
4999.92
3427244
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
? (TO)
5000.06
4999.92
3426528
crafted/spence/sgen/
sgen3-n150-s89334302-unsat.cnf
? (TO)
5000.06
5000.12
3427136
crafted/spence/sgen/
sgen3-n120-s55656844-unsat.cnf
? (TO)
5000.06
4999.92
3427140
crafted/mosoi/289/
289-unsat-21x40.cnf
? (TO)
5000.06
4999.92
3427159
crafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
? (TO)
5000.06
4999.92
3427359
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
? (TO)
5000.07
4999.92
3427230
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf
? (TO)
5000.07
4999.92
3427305
crafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
? (TO)
5000.07
4999.92
3427357
SAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
? (TO)
5000.07
4999.91
3427292
SAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
? (TO)
5000.07
4999.92
3427273
SAT03/handmade/anton/UNSAT/
SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf
? (TO)
5000.07
5000.02
3427267
SAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
? (TO)
5000.07
4999.92
3427256
crafted/skvortsov/battleship/
battleship-13-13-unsat.cnf
? (TO)
5000.07
4999.91
3427200
crafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
? (TO)
5000.07
4999.92
3427189
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
? (TO)
5000.07
4999.93
3427360
crafted/skvortsov/
automata-synchronization/rnd_150_42_s.cnf
? (TO)
5000.07
5000.12
3427181
crafted/mosoi/289/
289-unsat-14x38.cnf
? (TO)
5000.07
5000.02
3427173
crafted/mosoi/289/
289-unsat-21x33.cnf
? (TO)
5000.07
4999.92
3427158
crafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
? (TO)
5000.07
4999.92
3427370
SAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
? (TO)
5000.07
4999.92
3427255
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
? (TO)
5000.07
4999.91
3426511
CRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
? (TO)
5000.07
4999.92
3426504
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
? (TO)
5000.07
4999.92
3426505
SAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
? (TO)
5000.07
5000.02
3427338
SAT05/crafted/sabharwal05/planning/logistics/unsat/
logistics-rotate-07t5.shuffled-as.sat05-1137.cnf
? (TO)
5000.07
4999.92
3427307
crafted/mosoi/289/
289-unsat-6x34.cnf
? (TO)
5000.08
4999.92
3427150
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf
? (TO)
5000.08
4999.92
3427246
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g9.cnf
? (TO)
5000.08
4999.92
3426514
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes10.cnf
? (TO)
5000.08
5000.02
3426526
crafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
? (TO)
5000.08
5000.02
3427348
SAT02/handmade/pehoushek/plainoldcnf/
5cnf_3500_3500_30f1.shuffled.cnf
? (TO)
5000.08
5000.02
3427332
SAT05/crafted/sorge05/QG7/
gensys-icl007.shuffled-as.sat05-3133.cnf
? (TO)
5000.08
4999.92
3427326
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf
? (TO)
5000.08
4999.92
3427299
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/
grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf
? (TO)
5000.08
4999.92
3427314
crafted/skvortsov/
automata-synchronization/rnd_100_28_s.cnf
? (TO)
5000.08
4999.92
3427180
SAT04/handmade/marijn/equilarge-l/
equilarge_l4.used-as.sat04-896.cnf
? (TO)
5000.08
4999.92
3427298
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34309.cnf
? (TO)
5000.08
4999.93
3427222
SAT05/crafted/sabharwal05/ordering/gt-ordering/
sat/gt-030.shuffled-as.sat05-1295.cnf
? (TO)
5000.08
4999.92
3427315
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4232.cnf
? (TO)
5000.08
4999.92
3427225
crafted/mosoi/289/
289-unsat-9x32.cnf
? (TO)
5000.08
5000.02
3427170
SAT03/handmade/bevan/cnf/
marg3x3add8.shuffled-as.sat03-1449.cnf
? (TO)
5000.08
4999.92
3427282
crafted/spence/
hard/s113-100.cnf
? (TO)
5000.08
4999.92
3426471
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
? (TO)
5000.08
4999.92
3426482
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
? (TO)
5000.08
4999.92
3427237
crafted/mosoi/289/
289-unsat-21x14.cnf
? (TO)
5000.08
4999.92
3427160
SAT03/handmade/stanion/hwb/
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf
? (TO)
5000.08
4999.92
3427280
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
? (TO)
5000.08
4999.92
3427330
crafted/spence/sgen/
sgen3-n170-s56409011-unsat.cnf
? (TO)
5000.08
4999.92
3427138
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
? (TO)
5000.08
4999.92
3426489
SAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf
? (TO)
5000.08
4999.92
3427272
crafted/spence/sgen/
sgen3-n180-s33098896-unsat.cnf
? (TO)
5000.08
4999.92
3427133
crafted/mosoi/289/
289-unsat-14x34.cnf
? (TO)
5000.09
4999.92
3427175
SAT05/crafted/lynce05/social-golfer-problem/
sgp_5-6-8.shuffled-as.sat05-2669.cnf
? (TO)
5000.09
5000.02
3427316
crafted/skvortsov/
automata-synchronization/rnd_100_28_u.cnf
? (TO)
5000.09
5000.02
3427185
crafted/mosoi/289/
289-unsat-17x27.cnf
? (TO)
5000.09
4999.92
3427166
SAT03/handmade/anton/UNSAT/
SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf
? (TO)
5000.09
5000.02
3427270
crafted/skvortsov/
automata-synchronization/crn_20_360_u.cnf
? (TO)
5000.09
4999.91
3427182
crafted/spence/sgen/
sgen3-n190-s29985700-unsat.cnf
? (TO)
5000.09
5000.02
3427149
crafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-5-5_34308.cnf
? (TO)
5000.09
4999.92
3427220
SAT02/handmade/chu-min-li/urquhart/
urquhart3_25bis.shuffled.cnf
? (TO)
5000.09
5000.12
3427342
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
? (TO)
5000.09
5000.03
3427349
SAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
? (TO)
5000.09
4999.92
3427322
SAT03/handmade/anton/UNSAT/
SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf
? (TO)
5000.09
4999.92
3427257
SAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
? (TO)
5000.09
4999.91
3427323
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_508.cnf
? (TO)
5000.1
4999.92
3427233
SAT03/handmade/anton/UNSAT/
SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf
? (TO)
5000.1
5000.12
3427269
crafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
? (TO)
5000.1
4999.92
3427203
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_445.cnf
? (TO)
5000.1
4999.92
3427240
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
? (TO)
5000.1
5000.02
3427250
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
? (TO)
5000.1
5000.02
3427235
crafted/spence/sgen/
sgen3-n200-s00813792-unsat.cnf
? (TO)
5000.1
4999.91
3427144
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
? (TO)
5000.1
4999.92
3427232
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
? (TO)
5000.1
5000.02
3427229
crafted/mosoi/289/
289-unsat-6x40.cnf
? (TO)
5000.1
5000.02
3427171
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
5000.1
5000.12
3426480
CRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
? (TO)
5000.1
5000.02
3426503
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf
? (TO)
5000.1
4999.91
3427248
SAT03/handmade/anton/UNSAT/
SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf
? (TO)
5000.1
4999.92
3427259
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
? (TO)
5000.1
4999.92
3427328
crafted/spence/sgen/
sgen3-n130-s30940966-unsat.cnf
? (TO)
5000.1
4999.92
3427141
crafted/skvortsov/battleship/
battleship-10-10-unsat.cnf
? (TO)
5000.1
4999.92
3427197
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes7.cnf
? (TO)
5000.1
5000.02
3426497
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
5000.1
4999.92
3426478
crafted/skvortsov/battleship/
battleship-11-11-unsat.cnf
? (TO)
5000.1
4999.92
3427194
SAT03/handmade/stanion/hwb/
hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf
? (TO)
5000.1
4999.91
3427278
crafted/skvortsov/battleship/
battleship-12-12-unsat.cnf
? (TO)
5000.1
5000.02
3427205
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
? (TO)
5000.1
4999.93
3427358
CRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
5000.1
4999.91
3426493
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g5.cnf
? (TO)
5000.1
4999.92
3426509
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
? (TO)
5000.1
5000.12
3427247
SAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
? (TO)
5000.1
4999.92
3427274
crafted/skvortsov/
automata-synchronization/rnd_100_27_s.cnf
? (TO)
5000.11
5000.12
3427188
SAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
? (TO)
5000.11
5000.22
3427294
crafted/mosoi/289/
289-unsat-5x41.cnf
? (TO)
5000.11
4999.92
3427156
crafted/skvortsov/
automata-synchronization/rnd_100_32_s.cnf
? (TO)
5000.11
5000.02
3427190
CRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
? (TO)
5000.11
5000.02
3426492
CRAFTED/rbsat/random/
forced/rbsat-v2400c266431gyes1.cnf
? (TO)
5000.11
5000.02
3426501
SAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
? (TO)
5000.11
5000.02
3427318
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
? (TO)
5000.11
4999.92
3427281
crafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
? (TO)
5000.11
5000.02
3427184
CRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
? (TO)
5000.11
4999.92
3426506
crafted/manthey/sudoku-single-hard/
sudoku_81x81_unknown.cnf
? (TO)
5000.11
5000.02
3427216
crafted/mosoi/289/
289-unsat-13x32.cnf
? (TO)
5000.11
4999.92
3427152
crafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
? (TO)
5000.11
4999.92
3427191
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf
? (TO)
5000.11
5000.12
3427304
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
? (TO)
5000.12
5000.02
3427327
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
? (TO)
5000.12
5000.12
3427251
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
? (TO)
5000.12
5000.02
3427302
SAT04/handmade/kexu/frb-0.8/
frb59-26-2.used-as.sat04-892.cnf
? (TO)
5000.12
5000.02
3427287
SAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
? (TO)
5000.12
5000.02
3427312
CRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g10.cnf
? (TO)
5000.12
5000.02
3426483
SAT04/handmade/andrew/composite/
Composite-024BitPrimes-1.used-as.sat04-861.cnf
? (TO)
5000.12
5000.02
3427296
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
? (TO)
5000.13
5000.02
3426529
crafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
? (TO)
5000.13
5000.13
3427344
SAT05/crafted/roussel05/visbmc-PHNF/
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf
? (TO)
5000.14
5000.13
3427317