SAT 2009 Competition: main competition (phase2): benchmarks results per solver
Result page for solver glucose
1.0
(complete)
Category "applications instances" (APPLICATION)
Solver proved unsatisfiability (UNSATISFIABLE) (127 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.285955
0.285212
1773194
APPLICATIONS/bitverif/
minor/minor032.cnf
UNSAT
0.78188
0.78196
1773594
manol-pipe-g6bi.cnf
UNSAT
1.3268
1.33311
1775344
een-tip-uns-nusmv-t5.B.cnf
UNSAT
1.88771
1.88994
1775274
hoons-vbmc-lucky7.cnf
UNSAT
2.83557
2.8401
1773394
manol-pipe-c9.cnf
UNSAT
3.59545
3.60386
1775464
cmu-bmc-barrel6.cnf
UNSAT
3.99639
4.00322
1773334
APPLICATIONS/crypto/
md5gen/gus-md5-04.cnf
UNSAT
6.02508
6.03113
1773954
APPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
UNSAT
7.31489
7.32104
1773724
APPLICATIONS/bitverif/
minor/minor064.cnf
UNSAT
8.48671
8.4988
1773584
APPLICATIONS/
bitverif/maxand/maxand064.cnf
UNSAT
8.75467
8.77118
1773814
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
8.79466
8.79871
1773034
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
10.1974
10.2145
1772934
manol-pipe-g7nidw.cnf
UNSAT
12.4551
12.4651
1775454
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
12.5191
12.5224
1773024
APPLICATIONS/bitverif/
minandmaxor/minandmaxor032.cnf
UNSAT
12.987
12.9909
1773644
schup-l2s-abp4-1-k31.cnf
UNSAT
14.4758
14.4846
1773344
APPLICATIONS/bitverif/
smulo/smulo016.cnf
UNSAT
14.6558
14.672
1773754
APPLICATIONS/bitverif/
icbrt/icbrt1_32.cnf
UNSAT
15.1337
15.1433
1773774
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
15.5716
15.591
1772974
APPLICATIONS/crypto/
md5gen/gus-md5-05.cnf
UNSAT
16.7525
16.7666
1773944
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
21.9057
21.9318
1772584
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
24.0963
24.1145
1772964
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
24.1503
24.1568
1773084
velev-engi-uns-1.0-4nd.cnf
UNSAT
24.4833
24.4945
1773444
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_06_UNSAT.cnf
UNSAT
25.1482
25.1657
1775214
manol-pipe-c10nidw_s.cnf
UNSAT
25.8971
25.9217
1775244
APPLICATIONS/
bitverif/minand/minand128.cnf
UNSAT
26.9149
26.9335
1773694
APPLICATIONS/diagnosis/
UCG-10-5p0.cnf
UNSAT
27.5348
27.563
1774654
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
30.6953
30.7203
1772954
simon-s03-fifo8-300.cnf
UNSAT
30.9523
30.9738
1775424
manol-pipe-g10id.cnf
UNSAT
31.9541
31.9735
1775304
APPLICATIONS/bitverif/
minxorminand/minxorminand032.cnf
UNSAT
32.1701
32.1895
1773614
APPLICATIONS/diagnosis/
UTI-10-10p0.cnf
UNSAT
33.4979
33.5246
1774864
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
33.6159
33.6749
1773014
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate016.cnf
UNSAT
35.9235
35.9404
1773674
APPLICATIONS/diagnosis/
UR-10-5p0.cnf
UNSAT
37.6003
37.6311
1774724
goldb-heqc-term1mul.cnf
UNSAT
40.4269
40.4477
1775324
cmu-bmc-longmult15.cnf
UNSAT
41.8006
41.8336
1773524
APPLICATIONS/diagnosis/
ACG-10-5p0.cnf
UNSAT
43.1504
43.1878
1774694
manol-pipe-c6nidw_i.cnf
UNSAT
44.8672
44.9392
1775484
manol-pipe-c6bidw_i.cnf
UNSAT
46.6529
46.6911
1773474
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
51.6521
51.6766
1772594
APPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
UNSAT
52.371
52.4319
1774534
APPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
UNSAT
55.7675
55.8104
1773934
velev-live-uns-2.0-ebuf.cnf
UNSAT
75.6755
75.7355
1775334
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
78.1181
78.2001
1772944
manol-pipe-c7bidw_i.cnf
UNSAT
91.7201
91.7816
1775444
manol-pipe-g10nid.cnf
UNSAT
91.7301
91.7891
1773454
manol-pipe-g10bidw.cnf
UNSAT
97.2212
97.2921
1775254
manol-pipe-c7nidw.cnf
UNSAT
109.569
109.64
1775294
APPLICATIONS/bioinfo/
q_query_2_L324_coli.cnf
UNSAT
131.249
131.371
1774624
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
135.99
136.034
1773064
APPLICATIONS/crypto/
md5gen/gus-md5-07.cnf
UNSAT
157.384
157.482
1773974
APPLICATIONS/diagnosis/
UR-15-5p0.cnf
UNSAT
174.648
174.728
1774884
APPLICATIONS/diagnosis/
UTI-15-10p0.cnf
UNSAT
184.805
184.914
1774814
schup-l2s-guid-1-k56.cnf
UNSAT
187.726
187.778
1775414
APPLICATIONS/diagnosis/
UCG-15-5p0.cnf
UNSAT
191.411
191.56
1774794
goldb-heqc-i10mul.cnf
UNSAT
195.733
195.815
1775284
simon-s02b-dp11u10.cnf
UNSAT
196.292
196.4
1775364
APPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
UNSAT
225.303
225.412
1774494
APPLICATIONS/bitverif/countbitswegner/
countbitswegner064.cnf
UNSAT
264.19
264.328
1773804
APPLICATIONS/bioinfo/
q_query_3_L90_coli.sat.cnf
UNSAT
280.563
280.708
1774584
APPLICATIONS/bioinfo/
q_query_3_l45_lambda.cnf
UNSAT
325.56
325.68
1774464
goldb-heqc-alu4mul.cnf
UNSAT
327.325
327.491
1773564
manol-pipe-f9n.cnf
UNSAT
353.753
353.968
1775384
manol-pipe-f9b.cnf
UNSAT
356.904
357.087
1773414
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
UNSAT
379.633
379.802
1775094
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
391.936
392.132
1772804
manol-pipe-c10nid_i.cnf
UNSAT
424.718
424.93
1773544
APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf
UNSAT
448.617
448.757
1774384
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
488.104
488.281
1772814
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
503.64
503.964
1772714
velev-vliw-uns-4.0-9C1.cnf
UNSAT
525.166
525.313
1775354
APPLICATIONS/bioinfo/
q_query_3_L200_coli.sat.cnf
UNSAT
543.882
544.16
1774614
APPLICATIONS/bioinfo/
q_query_3_l48_lambda.cnf
UNSAT
544.447
544.685
1774444
APPLICATIONS/bioinfo/
q_query_3_L100_coli.sat.cnf
UNSAT
552.11
552.352
1774634
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
586.954
587.26
1773004
APPLICATIONS/c32sat/
post-cbmc-aes-d-r2-noholes.cnf
UNSAT
619.192
619.459
1774484
APPLICATIONS/diagnosis/
UTI-15-5p0.cnf
UNSAT
623.37
623.646
1774734
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_07_UNSAT.cnf
UNSAT
624.644
624.925
1775134
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
UNSAT
637.888
638.262
1773204
APPLICATIONS/c32sat/
post-c32s-col400-16.cnf
UNSAT
686.421
686.735
1774514
APPLICATIONS/bioinfo/
q_query_3_L150_coli.sat.cnf
UNSAT
692.548
692.898
1774574
APPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
UNSAT
723.975
724.373
1774374
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r2-noholes.cnf
UNSAT
772.307
772.585
1774474
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
UNSAT
789.295
789.577
1773244
manol-pipe-c10nidw.cnf
UNSAT
816.981
817.302
1773434
APPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
UNSAT
837.434
837.784
1774564
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
905.967
906.404
1773094
goldb-heqc-dalumul.cnf
UNSAT
925.878
926.271
1773504
APPLICATIONS/bitverif/countbitsarray/
countbitsarray02_32.cnf
UNSAT
926.685
927.171
1773834
APPLICATIONS/
c32sat/post-c32s-ss-8.cnf
UNSAT
940.478
940.799
1774524
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
968.539
969.065
1772734
APPLICATIONS/bioinfo/
q_query_3_l47_lambda.cnf
UNSAT
990.164
990.462
1774434
manol-pipe-f10ni.cnf
UNSAT
1023.56
1024
1775404
velev-pipe-o-uns-1.0-7.cnf
UNSAT
1029.21
1029.71
1775374
APPLICATIONS/bitverif/
minxorminand/minxorminand064.cnf
UNSAT
1081.62
1082.06
1773604
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
UNSAT
1373.99
1374.78
1773284
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
UNSAT
1463.91
1464.45
1773254
APPLICATIONS/c32sat/
post-cbmc-aes-ee-r3-noholes.cnf
UNSAT
1510.73
1511.26
1774554
APPLICATIONS/diagnosis/
UCG-15-10p0.cnf
UNSAT
1582.01
1582.64
1774854
schup-l2s-bc56s-1-k391.cnf
UNSAT
1659.43
1660.39
1773404
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
1674.28
1674.92
1772994
APPLICATIONS/diagnosis/
UR-15-10p0.cnf
UNSAT
1815.53
1816.29
1774894
APPLICATIONS/diagnosis/
UTI-20-5p0.cnf
UNSAT
1933.32
1934.1
1774664
APPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
UNSAT
1937.01
1937.98
1773704
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
1960.41
1961.18
1772574
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
2090.68
2091.26
1772834
APPLICATIONS/diagnosis/
UR-20-5p0.cnf
UNSAT
2117.71
2118.72
1774764
APPLICATIONS/diagnosis/
ACG-15-10p0.cnf
UNSAT
2297.58
2298.7
1774674
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
UNSAT
2342.65
2343.79
1773224
APPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
UNSAT
2432.37
2433.38
1773914
APPLICATIONS/bitverif/
maxxororand/maxxororand032.cnf
UNSAT
2488.68
2489.42
1773794
velev-pipe-o-uns-1.1-6.cnf
UNSAT
2624.79
2625.58
1775314
goldb-heqc-frg1mul.cnf
UNSAT
2693.12
2694.18
1773354
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
3206.59
3208.17
1772864
APPLICATIONS/diagnosis/
UTI-20-10p0.cnf
UNSAT
3542.12
3543.4
1774844
velev-vliw-uns-4.0-9-i1.cnf
UNSAT
4227.26
4229.21
1773364
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
UNSAT
4245.33
4247.25
1773234
APPLICATIONS/
bitverif/minxor/minxor128.cnf
UNSAT
4702.57
4703.79
1773634
goldb-heqc-x1mul.cnf
UNSAT
4919.2
4920.43
1773314
APPLICATIONS/diagnosis/
ACG-20-10p0.cnf
UNSAT
6606.89
6609.68
1774684
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
UNSAT
6836.2
6839.08
1773274
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
8072.3
8076.11
1773074
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
UNSAT
8771.14
8774.36
1772784
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
UNSAT
9905.29
9908.1
1774944
Solver found a solution (SATISFIABLE) (77 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
een-tip-sat-texas-tp-5e.cnf
SAT
0.267958
0.266463
1773554
APPLICATIONS/aprove09/
AProVE09-13.cnf
SAT
0.278956
0.280786
1774244
APPLICATIONS/aprove09/
AProVE09-22.cnf
SAT
0.345946
0.346498
1774274
APPLICATIONS/aprove09/
AProVE09-11.cnf
SAT
0.798878
0.799365
1774334
APPLICATIONS/aprove09/
AProVE09-25.cnf
SAT
1.17082
1.18424
1774234
APPLICATIONS/aprove09/
AProVE09-12.cnf
SAT
1.23981
1.24473
1774254
APPLICATIONS/bioinfo/
q_query_3_l37_lambda.cnf
SAT
1.37779
1.38081
1774394
APPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
SAT
1.69574
1.70126
1774454
APPLICATIONS/aprove09/
AProVE09-03.cnf
SAT
1.72174
1.72296
1774304
APPLICATIONS/aprove09/
AProVE09-19.cnf
SAT
1.79973
1.80269
1774344
APPLICATIONS/aprove09/
AProVE09-01.cnf
SAT
1.92171
1.92628
1774264
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
SAT
2.92855
2.93391
1775014
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_17_SAT.cnf
SAT
2.93755
2.93714
1775074
APPLICATIONS/aprove09/
AProVE09-10.cnf
SAT
3.2745
3.27655
1774324
APPLICATIONS/aprove09/
AProVE09-24.cnf
SAT
3.37449
3.38885
1774204
APPLICATIONS/aprove09/
AProVE09-21.cnf
SAT
4.03039
4.0415
1774224
APPLICATIONS/aprove09/
AProVE09-05.cnf
SAT
4.65929
4.70885
1774214
APPLICATIONS/aprove09/
AProVE09-08.cnf
SAT
6.05808
6.06478
1774314
APPLICATIONS/crypto/
desgen/gss-13-s100.cnf
SAT
7.03093
7.04543
1774114
APPLICATIONS/aprove09/
AProVE09-15.cnf
SAT
7.15891
7.16579
1774284
APPLICATIONS/aprove09/
AProVE09-17.cnf
SAT
7.38588
7.40072
1774184
APPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
SAT
7.40987
7.42163
1774424
APPLICATIONS/aprove09/
AProVE09-07.cnf
SAT
8.26074
8.2743
1774294
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
SAT
9.35258
9.36994
1774354
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_22_SAT.cnf
SAT
10.4814
10.4927
1774964
APPLICATIONS/bioinfo/
q_query_3_l42_lambda.cnf
SAT
15.8986
15.9114
1774364
APPLICATIONS/diagnosis/
UR-10-5p1.cnf
SAT
18.7801
18.7908
1774704
APPLICATIONS/bioinfo/
q_query_3_L60_coli.sat.cnf
SAT
24.4823
24.5041
1774604
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
27.0559
27.0681
1772924
industrial/grieu/
vmpc_24.cnf
SAT
28.7386
28.7525
1773134
APPLICATIONS/bioinfo/
q_query_3_l41_lambda.cnf
SAT
31.5252
31.5436
1774414
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
31.6872
31.7194
1773294
APPLICATIONS/crypto/
desgen/gss-15-s100.cnf
SAT
33.4139
33.4378
1774074
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
33.6959
33.7169
1772634
APPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
SAT
40.3169
40.3419
1774404
simon-s03-w08-15.cnf
SAT
44.9962
45.0282
1773374
industrial/grieu/
vmpc_25.cnf
SAT
45.3841
45.4007
1773104
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
45.6171
45.6641
1773304
schup-l2s-motst-2-k315.cnf
SAT
59.4
59.5149
1773424
industrial/grieu/
vmpc_26.cnf
SAT
84.1492
84.1903
1773174
APPLICATIONS/crypto/
desgen/gss-14-s100.cnf
SAT
95.7174
95.7851
1774064
APPLICATIONS/crypto/
desgen/gss-16-s100.cnf
SAT
95.8114
95.8593
1774014
APPLICATIONS/diagnosis/
UTI-15-5p1.cnf
SAT
102.416
102.49
1774924
APPLICATIONS/aprove09/
AProVE09-20.cnf
SAT
140.445
140.505
1774194
APPLICATIONS/bioinfo/
q_query_3_L70_coli.sat.cnf
SAT
186.912
187.043
1774594
APPLICATIONS/c32sat/
post-c32s-gcdm16-22.cnf
SAT
191.15
191.26
1774544
APPLICATIONS/diagnosis/
UTI-15-10p1.cnf
SAT
407.339
407.457
1774644
industrial/grieu/
vmpc_33.cnf
SAT
543.501
543.753
1773124
APPLICATIONS/crypto/
desgen/gss-19-s100.cnf
SAT
609.947
610.227
1774164
industrial/grieu/
vmpc_28.cnf
SAT
677.045
677.349
1773154
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
743.3
743.665
1772644
industrial/grieu/
vmpc_29.cnf
SAT
864.04
864.455
1773144
APPLICATIONS/crypto/
desgen/gss-17-s100.cnf
SAT
908.378
908.85
1773994
mizh-md5-48-5.cnf
SAT
1143.64
1144.29
1773574
APPLICATIONS/diagnosis/
UCG-20-5p1.cnf
SAT
1288.79
1289.39
1774874
industrial/grieu/
vmpc_30.cnf
SAT
1311.92
1312.45
1773114
APPLICATIONS/diagnosis/
UTI-20-5p1.cnf
SAT
1394.26
1394.99
1774834
mizh-sha0-35-3.cnf
SAT
1503.13
1503.82
1773534
APPLICATIONS/diagnosis/
UR-20-5p1.cnf
SAT
1804.89
1805.68
1774774
APPLICATIONS/diagnosis/
ACG-20-5p1.cnf
SAT
1927.59
1928.12
1774804
APPLICATIONS/diagnosis/
UCG-15-10p1.cnf
SAT
2182.15
2182.82
1774754
velev-pipe-sat-1.0-b7.cnf
SAT
2265.34
2266.4
1775234
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
SAT
2553.53
2554.73
1775064
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_20_SAT.cnf
SAT
2792.15
2793.16
1775124
APPLICATIONS/diagnosis/
UR-15-10p1.cnf
SAT
2852.67
2853.44
1774714
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
3204.55
3205.87
1772614
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
3214.71
3216.14
1772984
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
SAT
3228.62
3229.52
1772604
APPLICATIONS/aprove09/
AProVE09-06.cnf
SAT
3496.3
3498.03
1774174
APPLICATIONS/diagnosis/
ACG-15-10p1.cnf
SAT
3655.59
3657.38
1774784
velev-pipe-sat-1.0-b10.cnf
SAT
4524.05
4526.07
1775264
industrial/grieu/
vmpc_34.cnf
SAT
5105.81
5108.03
1773164
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
SAT
5423.78
5425.93
1772624
APPLICATIONS/diagnosis/
UCG-20-10p1.cnf
SAT
6128.98
6130.96
1774824
APPLICATIONS/diagnosis/
UTI-20-10p1.cnf
SAT
6289.06
6289.07
1774904
APPLICATIONS/crypto/
desgen/gss-20-s100.cnf
SAT
8246.87
8251.03
1774054
APPLICATIONS/diagnosis/
UR-20-10p1.cnf
SAT
8766.23
8769.83
1774914
Solver timed out (no solution given) (87 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/bitverif/
smulo/smulo128.cnf
? (TO)
10000
10005.4
1773764
APPLICATIONS/
bitverif/maxxor/maxxor128.cnf
? (TO)
10000
10005.1
1773864
APPLICATIONS/bitverif/
maxor/maxor128.cnf
? (TO)
10000
10005
1773824
APPLICATIONS/crypto/
desgen/gss-22-s100.cnf
? (TO)
10000
10004
1774024
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000
10003
1772884
APPLICATIONS/crypto/
md5gen/gus-md5-15.cnf
? (TO)
10000
10004.5
1773884
APPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
? (TO)
10000
10004.3
1773894
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000
10004.9
1772854
APPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
? (TO)
10000
10004.6
1773924
APPLICATIONS/crypto/
desgen/gss-32-s100.cnf
? (TO)
10000
10005
1774004
APPLICATIONS/crypto/
desgen/gss-26-s100.cnf
? (TO)
10000
10002.7
1774044
APPLICATIONS/crypto/
desgen/gss-33-s100.cnf
? (TO)
10000
10004.4
1774094
mizh-md5-47-3.cnf
? (TO)
10000
10004.4
1773324
APPLICATIONS/crypto/
desgen/gss-24-s100.cnf
? (TO)
10000
10005.1
1774134
APPLICATIONS/crypto/
desgen/gss-27-s100.cnf
? (TO)
10000
10004.4
1774034
APPLICATIONS/crypto/
desgen/gss-25-s100.cnf
? (TO)
10000
10004.8
1774154
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
? (TO)
10000
10004.2
1774954
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_11_UNKNOWN.cnf
? (TO)
10000
10004
1775224
APPLICATIONS/diagnosis/
ACG-20-10p1.cnf
? (TO)
10000
10006.9
1774744
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000
10004.3
1772914
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_13_UNSAT.cnf
? (TO)
10000
10002.7
1775104
mizh-sha0-36-3.cnf
? (TO)
10000
10003.6
1773384
aloul-chnl11-13.cnf
? (TO)
10000
10003.6
1773494
mizh-md5-47-4.cnf
? (TO)
10000
10002.7
1773514
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_17_UNKNOWN.cnf
? (TO)
10000
10003.8
1774984
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_14_UNSAT.cnf
? (TO)
10000
10005.7
1774994
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
? (TO)
10000
10004.6
1775024
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
? (TO)
10000
10004.2
1775084
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_09_UNSAT.cnf
? (TO)
10000
10002.9
1775114
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
10000
10003.5
1773214
APPLICATIONS/crypto/
desgen/gss-31-s100.cnf
? (TO)
10000
10005.6
1773984
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_16_UNKNOWN.cnf
? (TO)
10000
10005
1775164
APPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
? (TO)
10000
10000.1
1773654
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
? (TO)
10000
10004.3
1775194
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_10_UNKNOWN.cnf
? (TO)
10000
10004.3
1775204
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000
10004.1
1772844
simon-s02b-k2f-gr-rcs-w8.cnf
? (TO)
10000
10005.5
1775434
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
? (TO)
10000
10005
1773684
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000
10005
1772894
APPLICATIONS/bitverif/
maxxororand/maxxororand128.cnf
? (TO)
10000
10004.7
1773784
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_11_UNSAT.cnf
? (TO)
10000
10002.7
1775004
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000
10004.8
1772724
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
? (TO)
10000
10003.4
1775184
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_10_UNSAT.cnf
? (TO)
10000.1
10004.8
1775054
APPLICATIONS/satComp09_BioInstances/
rpoc_xits_14_UNKNOWN.cnf
? (TO)
10000.1
10004.6
1775174
APPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
? (TO)
10000.1
10004.1
1773624
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.1
10000.1
1772654
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.1
10004.2
1772684
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.1
10005.6
1772694
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.1
10005.1
1772704
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000.1
10004.7
1772764
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10003
1772744
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10003.9
1772754
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000.1
10004.5
1772774
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.1
10004.2
1772794
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10002.6
1772824
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10004.3
1772874
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10004.6
1772904
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000.1
10004
1773044
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
10003.7
1773054
industrial/narain/
clauses-8.cnf
? (TO)
10000.1
10004.4
1773184
mizh-sha0-36-4.cnf
? (TO)
10000.1
10005.1
1773464
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.1
10002.7
1773264
APPLICATIONS/crypto/
desgen/gss-23-s100.cnf
? (TO)
10000.1
10003.1
1774104
vange-col-abb313GPIA-9-c.cnf
? (TO)
10000.1
10002.8
1773484
APPLICATIONS/bitverif/
countbitssrl/countbitssrl128.cnf
? (TO)
10000.1
10004.1
1773714
APPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
? (TO)
10000.1
10005.1
1773664
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.1
10005
1772664
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10003.1
1772674
APPLICATIONS/bitverif/
mulhs/mulhs016.cnf
? (TO)
10000.1
10004.7
1773734
APPLICATIONS/bitverif/
mulhs/mulhs032.cnf
? (TO)
10000.1
10003.8
1773744
APPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
? (TO)
10000.1
10004.5
1773854
APPLICATIONS/
bitverif/maxxor/maxxor064.cnf
? (TO)
10000.1
10003.8
1773874
APPLICATIONS/crypto/
md5gen/gus-md5-10.cnf
? (TO)
10000.1
10004.4
1773904
APPLICATIONS/crypto/
desgen/gss-21-s100.cnf
? (TO)
10000.1
10002.9
1774124
APPLICATIONS/crypto/
desgen/gss-28-s100.cnf
? (TO)
10000.1
10004.4
1774144
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_15_UNKNOWN.cnf
? (TO)
10000.1
10005
1775034
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
? (TO)
10000.1
10004.7
1775044
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_11_UNKNOWN.cnf
? (TO)
10000.1
10004.2
1774934
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
? (TO)
10000.1
10005.1
1774974
APPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
? (TO)
10000.1
10005.2
1775144
APPLICATIONS/satComp09_BioInstances/
ndhf_xits_09_UNSAT.cnf
? (TO)
10000.1
10004.8
1775154
APPLICATIONS/bitverif/countbitsarray/
countbitsarray08_32.cnf
? (TO)
10000.1
10002.9
1773844
APPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
? (TO)
10000.1
10004.1
1773964
mizh-sha0-36-2.cnf
? (TO)
10000.1
10003.8
1775394
velev-pipe-uns-1.0-8.cnf
? (TO)
10000.1
10004.1
1775474
APPLICATIONS/crypto/
desgen/gss-34-s100.cnf
? (TO)
10000.1
10005.1
1774084
Solver exceeded the memory limit (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
? (MO)
15.24
15.6126
1774504
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (49 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/parity-games/
instance_n2_i2_pp.cnf
UNSAT
0.004998
0.00564299
1784532
CRAFTED/parity-games/
instance_n2_i3_pp.cnf
UNSAT
0.005998
0.00708499
1784508
CRAFTED/parity-games/
instance_n3_i4_pp_ci_ce.cnf
UNSAT
0.027994
0.027766
1784492
CRAFTED/modcircuits/
owp_4vars_5gates.cnf
UNSAT
0.376941
0.378284
1784292
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.45493
0.456157
1783544
CRAFTED/parity-games/
instance_n4_i5_pp.cnf
UNSAT
0.625904
0.626227
1784544
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
1.00085
1.0066
1783536
CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.cnf
UNSAT
1.72874
1.8178
1784500
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
4.28735
4.28737
1783908
CRAFTED/sgen/unsat/
sgen1-unsat-61-100.cnf
UNSAT
5.35019
5.35256
1784148
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
12.3501
12.3676
1783528
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
20.9368
20.9573
1783540
CRAFTED/ramseycube/
Q32inK09.cnf
UNSAT
34.5937
34.6115
1784228
CRAFTED/ramseycube/
Q32inK10.cnf
UNSAT
43.5164
43.5433
1784220
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
50.5873
50.6127
1783548
CRAFTED/sgen/unsat/
sgen1-unsat-73-100.cnf
UNSAT
55.2026
55.225
1784156
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
87.3657
87.3948
1783564
CRAFTED/ramseycube/
Q32inK11.cnf
UNSAT
92.8909
92.9192
1784208
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
96.8373
96.8682
1783568
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
146.901
146.972
1783976
CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.cnf
UNSAT
148.965
149.034
1784512
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
149.959
150.025
1783576
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
181.947
182.027
1783884
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
200.388
200.482
1783864
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
207.009
207.078
1783596
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
238.635
238.738
1783868
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
238.955
239.048
1783600
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
251.492
251.605
1783888
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
266.908
267.093
1783676
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
289.361
289.488
1783872
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
293.125
293.278
1783876
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
420.741
420.92
1783996
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
489.112
489.253
1783704
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
540.24
540.178
1784004
CRAFTED/modcircuits/
mod3_4vars_6gates.cnf
UNSAT
632.817
633.138
1784276
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
694.102
694.277
1783524
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
767.762
768.11
1783672
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
996.168
996.604
1783988
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
1023.17
1023.43
1783860
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
1345.33
1345.8
1783980
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g4.cnf
UNSAT
1530.52
1531
1784356
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
UNSAT
1976.61
1977.16
1783804
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
UNSAT
2000.83
2001.36
1784296
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
2039.55
2040.4
1784008
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
UNSAT
2388.53
2389.76
1783964
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
2771.49
2773.08
1783880
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
2926.46
2927.45
1783984
CRAFTED/sgen/unsat/
sgen1-unsat-85-100.cnf
UNSAT
3130.41
3131.8
1784140
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
3810.39
3811.36
1783612
Solver found a solution (SATISFIABLE) (86 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/ramseycube/
Q3inK08.cnf
SAT
0.017997
0.019291
1784224
CRAFTED/parity-games/
instance_n3_i3_pp_ci_ce.cnf
SAT
0.021996
0.023353
1784496
CRAFTED/parity-games/
instance_n3_i3_pp.cnf
SAT
0.022995
0.0234199
1784548
CRAFTED/sgi/
satsgi-n17himBHm20-p0-q146.cnf
SAT
0.026995
0.0266901
1784320
CRAFTED/sgi/
satsgi-n18himBHm21-p0-q167.cnf
SAT
0.028994
0.0299531
1784332
CRAFTED/sgi/
satsgi-n19himBHm22-p0-q181.cnf
SAT
0.033994
0.03451
1784312
CRAFTED/sgi/
satsgi-n22himBHm24-p0-q209.cnf
SAT
0.045992
0.0473031
1784316
CRAFTED/sgi/
satsgi-n22himBHm25-p0-q229.cnf
SAT
0.047991
0.0488549
1784340
CRAFTED/sgi/
satsgi-n23himBHm25-p0-q219.cnf
SAT
0.050992
0.053029
1784336
CRAFTED/sgi/
satsgi-n23himBHm26-p0-q248.cnf
SAT
0.052991
0.0539611
1784328
CRAFTED/sgi/
sgi-difficult4.cnf
SAT
0.05599
0.055317
1784476
CRAFTED/sgi/
satsgi-n23himBHm27-p0-q251.cnf
SAT
0.05899
0.0568751
1784348
CRAFTED/parity-games/
instance_n4_i4_pp.cnf
SAT
0.06399
0.0647621
1784504
CRAFTED/sgi/
satsgi-n25himBHm27-p0-q251.cnf
SAT
0.065989
0.066801
1784324
CRAFTED/sgi/
satsgi-n25himBHm29-p0-q290.cnf
SAT
0.072988
0.0729749
1784352
CRAFTED/parity-games/
instance_n4_i4_pp_ci_ce.cnf
SAT
0.082986
0.0851591
1784524
CRAFTED/sgi/
satsgi-n28himBHm30-p0-q333.cnf
SAT
0.093985
0.0946879
1784344
CRAFTED/ramseycube/
Q3inK09.cnf
SAT
0.104983
0.105043
1784200
CRAFTED/sgi/
sgi-difficult7.cnf
SAT
0.106982
0.108031
1784480
CRAFTED/parity-games/
instance_n5_i5_pp.cnf
SAT
0.444931
0.446398
1784516
CRAFTED/ramseycube/
Q3inK10.cnf
SAT
0.505922
0.506011
1784212
CRAFTED/modcircuits/
mod5block_1var_7gates.cnf
SAT
1.03984
1.04326
1784244
CRAFTED/parity-games/
instance_n6_i6_pp.cnf
SAT
1.56576
1.56726
1784536
CRAFTED/ramseycube/
Q3inK11.cnf
SAT
1.87971
1.87779
1784232
CRAFTED/parity-games/
instance_n6_i6_pp_ci_ce.cnf
SAT
2.24266
2.24707
1784552
CRAFTED/
edgematching/all/em_7_4_9_all.cnf
SAT
3.00954
3.01466
1784092
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g1.cnf
SAT
4.69429
4.70008
1784388
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
4.82427
4.92402
1783532
CRAFTED/
edgematching/all/em_7_3_6_all.cnf
SAT
5.35819
5.36694
1784084
CRAFTED/edgematching/
explicit/em_7_3_6_exp.cnf
SAT
5.64214
5.66395
1784068
CRAFTED/sgi/
new-difficult-20-152-18-95.cnf
SAT
12.2201
12.2266
1784624
CRAFTED/edgematching/
explicit/em_7_4_9_exp.cnf
SAT
12.5131
12.5214
1784056
CRAFTED/parity-games/
instance_n7_i7_pp.cnf
SAT
14.2478
14.2581
1784540
CRAFTED/edgematching/
all/em_11_3_4_all.cnf
SAT
19.536
19.5505
1784088
CRAFTED/parity-games/
instance_n5_i6_pp.cnf
SAT
19.641
19.6548
1784528
CRAFTED/edgematching/
fbcolors/em_7_4_9_fbc.cnf
SAT
21.1808
21.1926
1784116
CRAFTED/edgematching/
explicit/em_8_4_5_exp.cnf
SAT
22.0596
22.0714
1784064
CRAFTED/edgematching/
all/em_12_2_4_all.cnf
SAT
26.7139
26.7448
1784076
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes6.cnf
SAT
29.2785
29.295
1784408
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
36.5174
36.5447
1783552
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
37.0334
37.049
1783556
CRAFTED/parity-games/
instance_n6_i7_pp.cnf
SAT
38.9281
38.954
1784488
CRAFTED/rbsat/random/
forced/rbsat-v760c43649gyes10.cnf
SAT
40.1059
40.1266
1784400
CRAFTED/edgematching/
all/em_14_7_3_all.cnf
SAT
41.9216
41.9688
1784080
CRAFTED/
edgematching/all/em_8_4_5_all.cnf
SAT
45.819
45.8411
1784072
CRAFTED/edgematching/
explicit/em_9_3_5_exp.cnf
SAT
51.4842
51.5137
1784048
CRAFTED/parity-games/
instance_n8_i8_pp.cnf
SAT
73.4098
73.4511
1784600
CRAFTED/sgen/sat/
sgen1-sat-140-100.cnf
SAT
74.0397
74.0654
1784176
CRAFTED/edgematching/
explicit/em_7_4_8_exp.cnf
SAT
81.8406
81.873
1784060
CRAFTED/edgematching/
compact/em_7_4_9_cmp.cnf
SAT
83.7573
83.8095
1784012
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
84.3992
84.4242
1783560
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
85.322
85.3568
1783588
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes4.cnf
SAT
112.947
112.998
1784392
CRAFTED/modcircuits/
mod3block_3vars_9gates_restr.cnf
SAT
126.959
127.028
1784304
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g8.cnf
SAT
149.35
149.431
1784364
CRAFTED/
edgematching/all/em_7_4_8_all.cnf
SAT
172.996
173.087
1784096
CRAFTED/parity-games/
instance_n7_i8_pp.cnf
SAT
188.542
188.633
1784556
CRAFTED/ramseycube/
Q3inK12.cnf
SAT
197.942
198.088
1784216
CRAFTED/edgematching/
explicit/em_12_2_4_exp.cnf
SAT
199.995
200.063
1784052
CRAFTED/edgematching/
explicit/em_11_3_4_exp.cnf
SAT
202.933
203.058
1784044
CRAFTED/parity-games/
instance_n7_i7_pp_ci_ce.cnf
SAT
298.746
298.876
1784520
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
326.569
326.733
1783764
CRAFTED/sgi/
new-difficult-24-193-22-70.cnf
SAT
351.524
351.684
1784620
CRAFTED/rbsat/random/forced/
rbsat-v760c43649gyes1.cnf
SAT
357.184
357.36
1784404
CRAFTED/rbsat/random/unforced/
rbsat-v760c43649g10.cnf
SAT
374.306
374.475
1784380
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
389.58
389.69
1783584
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
497.291
497.549
1783592
CRAFTED/sgi/
new-difficult-22-173-20-80.cnf
SAT
536.723
537.007
1784636
CRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
SAT
761.961
762.241
1784596
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
SAT
806.497
806.95
1784396
CRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
SAT
901.454
901.857
1784376
CRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
SAT
1040.29
1040.61
1784608
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
1083.32
1083.85
1783580
CRAFTED/parity-games/
instance_n8_i9_pp.cnf
SAT
1121.36
1121.82
1784604
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
SAT
1182.56
1183
1783940
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
1324.34
1324.7
1783968
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
1632.92
1633.41
1783740
CRAFTED/sgen/sat/
sgen1-sat-160-100.cnf
SAT
1741
1742.06
1784184
CRAFTED/sgi/
new-difficult-21-168-19-90.cnf
SAT
2160.95
2161.58
1784628
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes2.cnf
SAT
2166.24
2167.35
1784444
CRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes9.cnf
SAT
2212.86
2213.87
1784416
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
2227.97
2228.56
1783744
CRAFTED/edgematching/
fbcolors/em_7_3_6_fbc.cnf
SAT
2323.7
2324.69
1784112
CRAFTED/parity-games/
instance_n9_i9_pp.cnf
SAT
2821.88
2822.89
1784616
CRAFTED/sgen/sat/
sgen1-sat-220-100.cnf
SAT
3286.53
3286.64
1784180
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
3515.96
3517.47
1783604
Solver timed out (no solution given) (146 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
CRAFTED/sgen/sat/
sgen1-sat-270-100.cnf
? (TO)
5000
5002.11
1784584
CRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
? (TO)
5000
5002.21
1784268
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000
5002.11
1783688
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000
5000.11
1783920
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000
5001.72
1783620
CRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes8.cnf
? (TO)
5000.01
5002.82
1784456
CRAFTED/sgen/unsat/
sgen1-unsat-115-100.cnf
? (TO)
5000.01
5002.31
1784564
CRAFTED/parity-games/
instance_n7_i8_pp_ci_ce.cnf
? (TO)
5000.01
5002.41
1784484
CRAFTED/modcircuits/
mod4block_3vars_7gates.cnf
? (TO)
5000.01
5002.61
1784252
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.01
5001.41
1783696
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.01
5001.62
1783680
CRAFTED/sgen/sat/
sgen1-sat-200-100.cnf
? (TO)
5000.01
5002.41
1784196
CRAFTED/edgematching/
fbcolors/em_7_4_8_fbc.cnf
? (TO)
5000.01
5002.01
1784120
CRAFTED/sgen/sat/
sgen1-sat-280-100.cnf
? (TO)
5000.01
5014.71
1784168
CRAFTED/edgematching/
fbcolors/em_14_7_3_fbc.cnf
? (TO)
5000.01
5001.81
1784108
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
5000.01
5002.82
1783960
CRAFTED/edgematching/
compact/em_8_4_5_cmp.cnf
? (TO)
5000.01
5002.11
1784040
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
5000.01
5002.51
1783932
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.01
5001.51
1783944
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.01
5001.72
1783692
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.01
5001.31
1783848
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.01
5001.31
1783808
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.01
5001.62
1783792
CRAFTED/parity-games/
instance_n8_i9_pp_ci_ce.cnf
? (TO)
5000.01
5002.31
1784612
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.02
5002.11
1783856
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
5000.02
5002.21
1783572
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.02
5002.72
1783660
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.02
5001.41
1783756
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.02
5001.91
1783752
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.02
5001.51
1783788
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.02
5001.91
1783832
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.02
5002.11
1783844
CRAFTED/sgen/unsat/
sgen1-unsat-97-100.cnf
? (TO)
5000.02
5001.81
1784136
CRAFTED/edgematching/
fbcolors/em_11_3_4_fbc.cnf
? (TO)
5000.02
5002.41
1784128
CRAFTED/modcircuits/
mod3block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.02
5002.21
1784288
CRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes1.cnf
? (TO)
5000.02
5001.72
1784464
CRAFTED/rbsat/crafted/unforced/
rbsat-v1820c171155g4.cnf
? (TO)
5000.02
5002.21
1784432
CRAFTED/sgen/sat/
sgen1-sat-250-100.cnf
? (TO)
5000.02
5002.11
1784572
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
5000.03
5001.51
1783828
CRAFTED/sgen/sat/
sgen1-sat-290-100.cnf
? (TO)
5000.03
5002.61
1784568
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.03
5001.41
1783840
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.03
5001.41
1783796
CRAFTED/rbsat/crafted/
forced/rbsat-v2640c305320gyes8.cnf
? (TO)
5000.03
5001.91
1784460
CRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g2.cnf
? (TO)
5000.03
5002.11
1784384
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes2.cnf
? (TO)
5000.03
5002.01
1784452
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
5000.03
5002.51
1783712
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
5000.03
5001.91
1783800
CRAFTED/sgi/
new-difficult-26-243-24-70.cnf
? (TO)
5000.03
5002.61
1784632
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
? (TO)
5000.03
5001.41
1784360
CRAFTED/modcircuits/
mod4block_2vars_10gates_u2_autoenc.cnf
? (TO)
5000.03
5002.11
1784272
CRAFTED/sgen/sat/
sgen1-sat-300-100.cnf
? (TO)
5000.03
5002.41
1784188
CRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes9.cnf
? (TO)
5000.03
5001.41
1784468
CRAFTED/sgen/unsat/
sgen1-unsat-109-100.cnf
? (TO)
5000.03
5003.21
1784132
CRAFTED/sgen/sat/
sgen1-sat-260-100.cnf
? (TO)
5000.03
5002.11
1784164
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
5000.03
5001.51
1783992
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.03
5002.61
1783924
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
5000.04
5002.21
1784000
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.04
5002.21
1783904
CRAFTED/sgen/unsat/
sgen1-unsat-127-100.cnf
? (TO)
5000.04
5002.31
1784560
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.04
5002.31
1783892
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
? (TO)
5000.04
5002.11
1783896
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.04
5001.51
1783608
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.04
5001.51
1783952
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.04
5002.51
1783972
CRAFTED/sgen/sat/
sgen1-sat-230-100.cnf
? (TO)
5000.04
5002.21
1784576
CRAFTED/edgematching/
compact/em_11_3_4_cmp.cnf
? (TO)
5000.04
5002.72
1784028
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2.cnf
? (TO)
5000.04
5002.41
1784236
CRAFTED/sgen/unsat/
sgen1-unsat-121-100.cnf
? (TO)
5000.04
5002.51
1784160
CRAFTED/sgen/unsat/
sgen1-unsat-145-100.cnf
? (TO)
5000.04
5002.51
1784152
CRAFTED/modcircuits/
mod3block_4vars_11gates_b2_restricted.cnf
? (TO)
5000.04
5002.11
1784284
CRAFTED/modcircuits/
mod3block_2vars_10gates_u2_autoenc.cnf
? (TO)
5000.04
5001.41
1784260
CRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g2.cnf
? (TO)
5000.04
5002.82
1784372
CRAFTED/rbsat/crafted/forced/
rbsat-v1150c84314gyes1.cnf
? (TO)
5000.04
5002.51
1784472
CRAFTED/sgen/unsat/
sgen1-unsat-151-100.cnf
? (TO)
5000.04
5002.31
1784588
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g2.cnf
? (TO)
5000.04
5002.31
1784440
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
5000.04
5002.11
1783720
CRAFTED/sgen/sat/
sgen1-sat-240-100.cnf
? (TO)
5000.05
5001.72
1784192
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
5000.05
5002.72
1783936
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.05
5001.62
1783668
CRAFTED/sgen/unsat/
sgen1-unsat-133-100.cnf
? (TO)
5000.05
5002.51
1784144
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
5000.05
5001.41
1783728
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
5000.05
5001.31
1783928
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.05
5002.11
1783644
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
5000.05
5001.41
1783768
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.05
5002.71
1783772
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.05
5001.81
1783656
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
5000.05
5001.41
1783784
CRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
? (TO)
5000.05
5002.21
1784420
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.05
5001.41
1783812
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.06
5002.21
1783916
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.06
5002.31
1783664
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
5000.06
5002.31
1783956
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.06
5001.41
1783852
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
5000.06
5002.61
1783760
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2_restricted.cnf
? (TO)
5000.06
5001.51
1784248
CRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
? (TO)
5000.06
5002.51
1784264
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.06
5001.51
1783732
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.06
5001.72
1783776
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.07
5001.31
1783628
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.07
5002.41
1783736
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.07
5002.11
1783652
CRAFTED/sgi/
new-difficult-23-189-21-75.cnf
? (TO)
5000.07
5002.11
1784640
CRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g5.cnf
? (TO)
5000.07
5002.31
1784436
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.07
5001.72
1783648
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.07
5002.31
1783824
CRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
? (TO)
5000.07
5001.21
1784024
CRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
? (TO)
5000.07
5002.61
1784256
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.07
5002.41
1783616
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.08
5002.51
1783700
CRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
? (TO)
5000.08
5002.51
1784100
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.08
5001.61
1783836
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
5000.08
5003.01
1783820
CRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
? (TO)
5000.08
5002.91
1784308
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.08
5001.41
1783632
CRAFTED/rbsat/crafted/unforced/
rbsat-v2640c305320g4.cnf
? (TO)
5000.08
5002.11
1784428
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
5000.08
5001.62
1783624
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.08
5002.21
1783900
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.08
5001.91
1783636
CRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes3.cnf
? (TO)
5000.08
5001.41
1784412
CRAFTED/rbsat/crafted/
forced/rbsat-v1820c171155gyes6.cnf
? (TO)
5000.08
5002.11
1784448
CRAFTED/sgi/
new-difficult-28-302-26-75.cnf
? (TO)
5000.08
5002.41
1784644
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.08
5001.81
1783640
CRAFTED/edgematching/
compact/em_14_7_3_cmp.cnf
? (TO)
5000.08
5002.01
1784032
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
5000.08
5001.72
1783948
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.08
5002.61
1783684
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.08
5001.21
1783748
CRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
? (TO)
5000.09
5002.61
1784016
CRAFTED/rbsat/random/unforced/
rbsat-v1820c171155g3.cnf
? (TO)
5000.09
5002.51
1784368
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2_autoenc.cnf
? (TO)
5000.09
5001.41
1784300
CRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
? (TO)
5000.09
5005.11
1784172
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
5000.09
5002.11
1783716
CRAFTED/edgematching/
fbcolors/em_12_2_4_fbc.cnf
? (TO)
5000.09
5002.01
1784124
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.09
5001.21
1783816
CRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
? (TO)
5000.09
5002.31
1784580
CRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
? (TO)
5000.09
5002.21
1784104
CRAFTED/modcircuits/
mod3block_4vars_12gates_b2.cnf
? (TO)
5000.09
5001.62
1784280
CRAFTED/edgematching/
compact/em_7_4_8_cmp.cnf
? (TO)
5000.09
5001.72
1784036
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.09
5002.21
1783780
CRAFTED/rbsat/crafted/unforced/
rbsat-v1375c111739g6.cnf
? (TO)
5000.1
5002.72
1784424
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.1
5002.31
1783912
CRAFTED/ramseycube/
Q3inK13.cnf
? (TO)
5000.1
5002.31
1784204
CRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
? (TO)
5000.1
5002.51
1784020
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
5000.1
5001.41
1783724
CRAFTED/modcircuits/
mod4block_2vars_9gates_u2.cnf
? (TO)
5000.1
5002.51
1784240
CRAFTED/sgen/unsat/
sgen1-unsat-103-100.cnf
? (TO)
5000.1
5002.31
1784592
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
5000.11
5002.51
1783708