SAT 2009 Competition: main competition (phase 1): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	1.23181	1.23068	1722134
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	4.89525	4.89698	1721334
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	11.8902	11.8975	1722034
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	95.3895	95.4204	1722484

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.01	1200.31	1722384
manol-pipe-c9.cnf	? (TO)	1200.01	1200.31	1724380
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.01	1200.41	1560938
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.01	1200.31	1719624
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.01	1200.41	1722634
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.01	1200.41	1563590
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.01	1200.31	1718896
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.01	1200.31	1562706
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.01	1200.31	1562810
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.02	1200.31	1721984
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.02	1200.41	1718324
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.02	1200.41	1563018
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.02	1200.41	1716712
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.02	1200.41	1554230
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.02	1200.31	1717492
simon-s03-fifo8-300.cnf	? (TO)	1200.02	1200.41	1724172
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.02	1200.31	1559014
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.02	1200.32	1580566
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1721784
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.03	1206.03	1579370
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.03	1200.42	1579838
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.03	1201.62	1580358
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.03	1200.41	1556258
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.03	1200.42	1716348
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.03	1200.51	1563122
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.03	1200.42	1578798
mizh-sha0-35-3.cnf	? (TO)	1200.03	1200.41	1720716
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.03	1200.51	1563694
manol-pipe-f10ni.cnf	? (TO)	1200.03	1200.52	1724068
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.03	1200.41	1723034
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.04	1200.51	1559274
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.04	1200.41	1557038
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.04	1200.41	1559950
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.04	1200.41	1720924
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.04	1200.41	1553814
manol-pipe-g7nidw.cnf	? (TO)	1200.04	1200.41	1724328
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.04	1200.41	1717024
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.04	1200.43	1582438
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.04	1200.42	1716660
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.04	1200.41	1554126
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.04	1200.62	1578954
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.04	1200.31	1558494
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.04	1200.41	1556362
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.04	1200.41	1556466
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.04	1200.52	1716192
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.04	1200.31	1718844
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.05	1200.41	1721684
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.05	1200.51	1718168
mizh-md5-48-5.cnf	? (TO)	1200.05	1200.41	1721132
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.05	1200.62	1580878
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.05	1200.41	1717336
manol-pipe-f9b.cnf	? (TO)	1200.05	1200.61	1719988
manol-pipe-c10nidw.cnf	? (TO)	1200.05	1200.43	1720092
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.05	1200.41	1579474
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.05	1200.55	1719052
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.05	1200.51	1716868
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.05	1200.41	1560730
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.05	1200.44	1577550
manol-pipe-c10nid_i.cnf	? (TO)	1200.05	1200.52	1720768
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.05	1200.41	1721884
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.05	1200.41	1717232
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.05	1200.62	1715984
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.05	1200.41	1556622
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.05	1200.51	1562862
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.05	1200.41	1717856
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.05	1200.51	1554854
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.05	1200.41	1555634
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.06	1200.62	1716504
cmu-bmc-longmult15.cnf	? (TO)	1200.06	1200.41	1720664
mizh-sha0-36-4.cnf	? (TO)	1200.06	1200.51	1720248
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.06	1200.42	1716296
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.06	1200.41	1718064
hoons-vbmc-lucky7.cnf	? (TO)	1200.06	1200.41	1719884
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.06	1207.02	1580150
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.06	1200.41	1557714
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.06	1200.51	1557610
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.06	1207.01	1555478
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.06	1200.41	1721734
schup-l2s-guid-1-k56.cnf	? (TO)	1200.06	1200.51	1724120
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.06	1200.41	1555270
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.06	1200.51	1556830
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.06	1200.54	1717284
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.06	1200.42	1582022
manol-pipe-c6nidw_i.cnf	? (TO)	1200.06	1200.51	1724484
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.06	1200.53	1719936
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.06	1200.52	1554542
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.06	1200.42	1581606
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.06	1200.41	1554178
mizh-md5-47-4.cnf	? (TO)	1200.06	1200.41	1720560
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1721834
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.06	1200.42	1553866
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1721184
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.06	1200.51	1560106
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.06	1200.32	1581918
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1723134
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.06	1200.41	1553242
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.06	1200.51	1559378
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.06	1200.41	1553294
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.06	1200.41	1560574
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.06	1200.42	1715724
manol-pipe-c7nidw.cnf	? (TO)	1200.06	1200.51	1723496
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.07	1200.62	1715932
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.07	1200.41	1579890
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.07	1200.41	1562966
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.07	1200.51	1560470
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.07	1200.41	1559794
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.07	1200.41	1559534
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.07	1200.62	1717180
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1722784
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.07	1200.42	1715672
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.07	1200.41	1718220
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.07	1200.41	1558806
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.07	1200.61	1557090
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.07	1200.41	1560314
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.07	1200.41	1556778
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.07	1200.52	1719156
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.07	1200.41	1720352
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.07	1200.41	1556518
goldb-heqc-x1mul.cnf	? (TO)	1200.07	1200.41	1719468
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.07	1200.51	1718740
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.07	1200.53	1563642
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.07	1207.01	1563382
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.07	1200.41	1717076
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.07	1200.42	1581970
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.07	1200.41	1718272
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.07	1200.41	1556726
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.08	1200.51	1718688
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.08	1200.41	1718480
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.08	1200.41	1718376
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.08	1200.51	1554438
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.08	1200.41	1717648
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1721434
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.08	1200.41	1722284
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.08	1200.42	1717908
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722884
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.08	1200.41	1555062
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.08	1200.41	1581762
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.08	1200.52	1724432
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.08	1200.51	1562758
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.08	1200.51	1560366
mizh-sha0-36-2.cnf	? (TO)	1200.08	1200.51	1724016
simon-s02b-dp11u10.cnf	? (TO)	1200.08	1200.41	1723860
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.08	1200.41	1723392
manol-pipe-g10bidw.cnf	? (TO)	1200.08	1200.42	1723288
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.08	1200.42	1716556
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.08	1200.41	1558078
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.08	1200.51	1558026
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.08	1200.41	1721384
manol-pipe-g10nid.cnf	? (TO)	1200.08	1200.42	1720196
schup-l2s-motst-2-k315.cnf	? (TO)	1200.08	1200.43	1720040
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.08	1200.41	1553190
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.08	1200.62	1719312
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.08	1200.61	1722534
manol-pipe-g10id.cnf	? (TO)	1200.09	1200.41	1723548
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.09	1200.41	1559742
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.09	1200.42	1716244
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.09	1200.51	1560626
mizh-md5-47-3.cnf	? (TO)	1200.09	1200.41	1719520
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.09	1200.41	1563070
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.09	1200.41	1563174
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.09	1200.42	1716140
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.09	1200.41	1556570
aloul-chnl11-13.cnf	? (TO)	1200.09	1200.41	1720404
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.09	1200.82	1715880
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.09	1200.42	1715776
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.09	1200.42	1581086
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.09	1200.51	1558442
manol-pipe-c7bidw_i.cnf	? (TO)	1200.09	1200.51	1724276
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.09	1200.41	1723704
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.09	1200.72	1563486
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.09	1200.51	1553346
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.51	1722434
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.09	1200.42	1715620
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.09	1200.41	1556102
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.09	1200.41	1554698
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.09	1200.51	1557818
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.09	1200.51	1558234
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.09	1200.41	1718428
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.09	1200.51	1559690
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.09	1200.42	1717960
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.51	1723912
manol-pipe-c10nidw_s.cnf	? (TO)	1200.09	1200.63	1723236
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.09	1200.62	1580254
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.09	1200.51	1553398
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.09	1200.44	1577810
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.09	1200.92	1716452
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.09	1200.42	1577654
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.09	1200.41	1559326
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.09	1200.41	1553502
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.09	1200.73	1716400
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.09	1200.43	1717752
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.09	1200.51	1557974
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.09	1200.42	1718012
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.09	1200.41	1557506
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.09	1200.41	1559638
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.1	1200.42	1580774
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.1	1200.41	1719104
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1722584
manol-pipe-g6bi.cnf	? (TO)	1200.1	1200.41	1723756
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1722834
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1722984
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.1	1200.61	1723600
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.1	1200.41	1556882
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.1	1200.42	1555166
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.1	1200.62	1577914
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.1	1200.53	1577862
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.1	1200.51	1562654
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.1	1200.41	1560886
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.1	1200.61	1723084
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.1	1200.61	1559222
simon-s03-w08-15.cnf	? (TO)	1200.1	1200.61	1719780
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.1	1200.68	1719208
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.1	1200.42	1554906
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.1	1200.41	1718636
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.1	1200.51	1554750
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.1	1200.41	1718116
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.1	1200.72	1717388
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.1	1200.51	1717128
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.1	1200.43	1716764
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.1	1200.72	1716608
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.1	1200.72	1716088
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.1	1200.42	1715828
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.1	1200.51	1578226
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.1	1200.62	1577498
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1722184
mizh-sha0-36-3.cnf	? (TO)	1200.11	1200.51	1719832
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.11	1200.41	1556050
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.11	1200.41	1716972
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.11	1200.51	1720144
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.11	1200.51	1721284
manol-pipe-c6bidw_i.cnf	? (TO)	1200.11	1200.41	1720300
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.11	1200.42	1577706
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.11	1200.41	1558858
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.11	1200.41	1563226
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.11	1200.41	1554022
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.11	1200.42	1581346
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.11	1200.51	1554594
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.11	1200.41	1556154
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.11	1200.41	1721534
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.11	1200.43	1580046
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.11	1200.52	1579994
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.11	1200.41	1721234
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.11	1200.41	1579422
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.11	1200.43	1717804
industrial/grieu/ vmpc_24.cnf	? (TO)	1200.11	1200.41	1718532
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.11	1200.41	1718584
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.11	1200.52	1555894
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.11	1200.41	1560054
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.11	1200.41	1562914
manol-pipe-f9n.cnf	? (TO)	1200.11	1200.41	1723964
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.11	1200.65	1563746
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.11	1200.52	1582750
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.11	1200.53	1581502
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.12	1200.54	1719000
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.12	1200.63	1563278
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.12	1200.73	1582178
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.12	1200.62	1716036
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.12	1200.65	1577758
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.12	1200.42	1580098
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.13	1200.51	1723340
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.13	1200.63	1563330
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.13	1200.43	1724224
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.13	1200.62	1577602
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.14	1200.47	1719260
goldb-heqc-i10mul.cnf	? (TO)	1200.15	1200.74	1723444
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.16	1200.52	1718948
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.16	1200.7	1723184

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (exit code)	0.001998	0.00533689	1563434
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	0.003998	0.00504196	1716920
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	0.009998	0.010883	1716816
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (exit code)	0.010997	0.0121359	1560158
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (exit code)	0.016997	0.017158	1560678
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (exit code)	0.018996	0.0235051	1560834
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (exit code)	0.025995	0.026833	1560418
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	0.047991	0.0484631	1717700
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	0.06499	0.0649669	1717596
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	0.066988	0.0678679	1717544
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	0.080986	0.081047	1717440
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	0.889864	0.892591	1723808
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	1.55576	1.55736	1719728
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (exit code)	6.07608	6.07735	1719364
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (exit code)	6.52901	6.53175	1719416
industrial/narain/ clauses-8.cnf	? (exit code)	9.70352	9.71264	1718792

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
goldb-heqc-term1mul.cnf	Signal 11	190.138	190.201	1723652
goldb-heqc-frg1mul.cnf	Signal 11	190.298	190.346	1719676
cmu-bmc-barrel6.cnf	Signal 11	201.233	201.286	1719572
goldb-heqc-alu4mul.cnf	Signal 11	1066.1	1066.37	1721028

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
goldb-heqc-dalumul.cnf	Wrong Cert.	264.367	264.443	1720456

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0	0.00509294	1736884
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.00496803	1736584

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.008997	0.00948392	1733034
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.015997	0.016202	1734234
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	0.016996	0.0157979	1732484
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.019996	0.019887	1734384
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.021995	0.0223649	1734134
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.032994	0.033472	1734184
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.036993	0.0355791	1734484
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.041993	0.043009	1736184
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.041993	0.04149	1734434
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.043992	0.04457	1734334
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.047992	0.046724	1734584
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.05499	0.0556639	1734284
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.061989	0.0625151	1734634
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.075988	0.074677	1732684
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.080986	0.0817631	1734534
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.088986	0.088349	1736234
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.348946	0.348791	1732884
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	0.477927	0.478443	1732384
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	0.665897	0.666004	1732334
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	0.821875	0.822388	1732434
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	1.35979	1.36174	1733134
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	2.6006	2.60149	1738185
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	4.42633	10.1824	1732934
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	9.23459	9.23754	1732584
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	12.3931	12.3963	1738344
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	14.0409	14.0451	1732634
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	16.1135	16.1186	1738132
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	17.7113	17.716	1561510
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	54.4027	54.4157	1738291
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	93.6658	93.6936	1737443
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	97.2862	97.3214	1737496
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	155.097	155.156	1732234
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	SAT	243.469	243.55	1737390
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	492.215	492.36	1738079
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	509.174	509.317	1735284
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	SAT	584.593	584.812	1737602
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	655.073	655.413	1735334
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	SAT	655.191	655.384	1732284
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	661.346	661.535	1735134
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	1038.63	1038.89	1733284
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	SAT	1059.12	1059.43	1732534

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1730737
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.01	1200.31	1731834
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1725384
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.01	1200.31	1734984
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729306
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.01	1200.31	1732134
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.01	1199.91	1728935
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1730790
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.02	1200.42	1737134
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.02	1200.31	1736084
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1725437
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1726762
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1731055
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1727981
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.02	1200.61	1737655
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.02	1200.41	1733384
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1726073
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1729624
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.03	1200.31	1733934
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1726020
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1730154
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.03	1200.41	1732084
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.03	1200.32	1733784
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1731585
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1727080
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.03	1200.41	1735484
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.03	1201.01	1726391
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1731002
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.03	1200.42	1733184
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1728299
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1730843
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1725808
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1730578
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.04	1200.31	1734934
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1730896
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727716
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.04	1199.91	1734884
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1728246
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1728140
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1726921
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.04	1200.41	1562290
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1726550
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.04	1200.41	1734084
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.04	1200.31	1733534
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729359
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.05	1200.51	1562134
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1728352
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729889
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.05	1200.31	1730525
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730101
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.05	1200.51	1733484
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.05	1200.41	1736534
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727663
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728829
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (TO)	1200.05	1200.43	1562082
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.05	1200.41	1561458
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726868
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.05	1200.41	1735384
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.05	1200.51	1735034
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.05	1200.41	1735534
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1725702
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.06	1200.41	1733234
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.06	1200.51	1733684
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.06	1200.41	1734834
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.06	1200.41	1735634
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.06	1200.41	1736134
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1726815
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.06	1200.41	1737284
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.06	1200.41	1735434
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.06	1200.41	1735734
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.06	1200.71	1734734
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.06	1200.51	1561302
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1727875
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728458
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728776
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728988
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729041
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1725596
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730048
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730313
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730366
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.06	1200.41	1562186
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730631
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731214
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731108
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731479
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726603
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.06	1200.41	1733084
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.06	1200.41	1733634
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726285
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1729412
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.07	1200.41	1562446
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1728511
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726179
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1729200
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731532
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.07	1200.42	1736934
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.07	1200.51	1737549
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.07	1200.71	1561562
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.08	1200.41	1738238
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1726338
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1726444
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727186
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.08	1200.41	1562498
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.52	1736634
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.08	1200.51	1732184
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729836
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729995
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729465
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.08	1200.41	1733884
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729518
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.08	1200.41	1735934
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730207
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729253
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725543
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733834
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726126
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725861
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.08	1200.41	1735884
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1725331
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728564
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.08	1200.61	1735684
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1728034
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731267
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.09	1200.41	1734684
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725278
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725490
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725755
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1726497
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726232
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726709
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727822
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727928
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.09	1200.74	1728405
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728617
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728670
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728723
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729094
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1729147
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729571
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729677
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1729783
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729942
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731426
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731638
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.09	1200.51	1731984
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.09	1200.41	1731934
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	? (TO)	1200.09	1200.01	1734784
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	? (TO)	1200.09	1200.41	1735234
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.09	1200.41	1736034
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.09	1200.41	1735984
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.09	1200.51	1736484
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.09	1200.44	1736734
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.09	1200.41	1737337
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.09	1200.41	1734034
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.09	1200.51	1733984
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.09	1200.51	1733584
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.09	1200.61	1733434
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.09	1200.41	1735584
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	? (TO)	1200.09	1200.51	1735084
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.1	1200.51	1736834
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727769
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730419
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725967
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730260
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.1	1200.51	1561822
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.1	1200.41	1561666
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729730
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728193
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728087
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.1	1200.41	1735834
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.1	1200.44	1727451
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.1	1200.51	1561146
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.1	1200.51	1737708
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726656
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.1	1200.41	1732984
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.1	1200.44	1736984
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725914
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.1	1200.41	1732834
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.1	1200.41	1732034
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.1	1200.41	1731884
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731691
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731161
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731373
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.1	1200.55	1562550
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1731320
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1727133
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.1	1200.51	1735184
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.11	1200.65	1727398
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1730472
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.11	1200.41	1560990
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725649
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.11	1200.51	1736684
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.11	1200.41	1735784
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1730949
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1727027
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.11	1200.41	1738397
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.11	1200.53	1562602
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1728882
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.12	1200.42	1561198
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.12	1200.62	1733734
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.12	1200.42	1733334
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.12	1200.72	1730684
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.12	1200.73	1726974
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.12	1200.52	1736334
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.13	1200.44	1561094
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.13	1200.55	1732784
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.13	1200.45	1736284
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.13	1200.55	1737234
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.15	1200.43	1737867
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.15	1200.6	1737814
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.16	1200.49	1727610
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.18	1200.5	1737761
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.18	1200.65	1562342
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.18	1200.57	1727239
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (TO)	1200.22	1200.67	1561978
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.22	1200.63	1737973
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.22	1200.55	1561250
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.3	1200.7	1727292

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (MO)	5.82811	5.8308	1738026
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (MO)	10.0105	10.0186	1727557
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (MO)	12.5301	40.6618	1737920
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (MO)	17.2014	17.2156	1727504
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (MO)	37.0774	37.114	1727345

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	Signal 11	2.48962	2.49121	1561354
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	Signal 11	4.83127	4.8326	1562238
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	Signal 11	9.00963	9.0121	1561718
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	Signal 11	17.8623	17.8677	1736784
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	Signal 11	26.269	26.2768	1736384
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	Signal 11	69.4494	69.4774	1737034
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	Signal 11	136.085	136.121	1736434
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	Signal 11	161.107	161.177	1561406

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	Wrong Cert.	0.024995	0.0248381	1737084
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	Wrong Cert.	1.9537	1.95462	1562394
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	Wrong Cert.	12.3621	12.3662	1562030
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	Wrong Cert.	116.612	116.645	1561042
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	Wrong Cert.	132.759	132.805	1561926
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	Wrong Cert.	167.112	167.161	1561770

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.005998	0.0067591	1529002
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.006998	0.0073399	1529176
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.006998	0.00791208	1528246
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.007997	0.00791906	1529161
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.007998	0.00962112	1529149
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.007998	0.00893592	1528993
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.007998	0.0087669	1529062
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.007998	0.0088559	1529044
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.007998	0.00820796	1529113
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.008998	0.0110301	1528918
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.009997	0.00960008	1529170
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.009997	0.0102579	1528966
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.009998	0.010556	1529158
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.009998	0.010126	1529116
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.010997	0.0114141	1528222
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.010997	0.0112721	1529182
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.010997	0.011278	1529140
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.011998	0.0127021	1528981
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.012997	0.0123591	1529017
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.012997	0.0126461	1528210
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.012998	0.0138229	1528954
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.013997	0.014791	1529128
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.014996	0.0154451	1528267
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.014996	0.0151281	1529194
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.015996	0.014646	1529047
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.015996	0.016127	1528225
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.016996	0.0175719	1528276
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.016996	0.0172509	1529011
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.016996	0.017735	1529059
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.018997	0.0198351	1529125
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.019996	0.0206709	1528234
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.019996	0.020428	1529083
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.022995	0.0216649	1529188
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.022996	0.0239221	1529146
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.024995	0.024322	1528216
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.024995	0.023733	1528942
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.024996	0.025717	1529110
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.025995	0.026215	1529005
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.025995	0.0251381	1529155
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.025996	0.026425	1529197
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.026995	0.0261599	1529032
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.026995	0.0278511	1529035
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	0.026995	0.0276541	1528504
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.027995	0.029037	1528915
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.028994	0.028809	1529089
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.030995	0.0320939	1529131
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.031994	0.0306059	1529098
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.032994	0.035043	1528936
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.036993	0.0386911	1529164
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.036993	0.037731	1529077
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.037993	0.03777	1528879
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.037993	0.0390259	1529026
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.039993	0.038876	1528975
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.039993	0.0385049	1528930
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.040993	0.0415599	1528180
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.041992	0.0420809	1528939
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.042993	0.0436371	1528192
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.042993	0.0432811	1528882
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.044992	0.044073	1528213
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.049991	0.050487	1529071
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.050991	0.0510371	1529134
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.053991	0.054399	1528237
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.05599	0.0555399	1529185
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.05699	0.0580329	1529008
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.060989	0.0611429	1528978
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.061989	0.0616709	1529041
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.062989	0.063176	1528990
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.062989	0.0621551	1529173
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.063989	0.064149	1528501
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.063989	0.063462	1529080
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	0.064989	0.0655249	1528444
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.068988	0.068554	1528969
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.069988	0.0703751	1528933
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.069989	0.0703809	1528891
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.073987	0.0746081	1529119
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.075988	0.076521	1529068
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.076987	0.0770229	1528219
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.079987	0.079951	1528873
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.081986	0.080884	1528924
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.081986	0.082614	1529053
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.083986	0.0845291	1528897
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.085986	0.0861211	1528885
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.091985	0.091755	1528249
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.092985	0.0931971	1528258
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.093984	0.094818	1529020
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.095985	0.0965179	1528279
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.103984	0.104899	1528888
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	0.116981	0.11573	1527805
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.12098	0.120506	1528438
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.12198	0.121178	1528240
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.121981	0.122314	1529014
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.12398	0.124849	1528264
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.128979	0.129326	1528201
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.128979	0.129462	1529104
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	0.137978	0.138305	1528513
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.143977	0.142632	1528231
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.146976	0.147681	1529122
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.148977	0.148899	1528261
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.154975	0.155532	1527802
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.158975	0.159014	1528951
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	0.159974	0.160254	1529086
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.165974	0.166808	1528429
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.168973	0.169088	1528420
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.170973	0.169592	1528252
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.171973	0.171279	1528963
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.174972	0.175362	1528912
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.180972	0.181898	1529143
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.180972	0.184603	1529179
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.185971	0.187184	1528948
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.197969	0.198176	1528198
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.208967	0.20791	1528195
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.209968	0.210192	1529065
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	0.212967	0.212448	1528984
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.213966	0.212666	1528996
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.224965	0.227841	1529101
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.229964	0.229742	1529095
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.230964	0.231661	1528294
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.232963	0.233457	1529137
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.25296	0.252953	1529056
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.266959	0.267908	1529092
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	0.267958	0.267028	1528204
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.271957	0.272372	1528903
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	0.272957	0.27176	1528441
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.283956	0.284456	1528297
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.326949	0.327602	1528900
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.333948	0.334261	1528189
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	0.353945	0.352829	1528447
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.362944	0.363453	1527811
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.379942	0.381267	1528285
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	0.396939	0.397491	1528432
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.403938	0.404857	1528228
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	0.411936	0.411863	1528453
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.463929	0.465081	1528972
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	0.475926	0.47579	1528483
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.482925	0.482502	1528945
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.51592	0.516313	1529029
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	0.541917	0.542574	1528465
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	0.555914	0.556844	1527817
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.58191	0.582308	1528927
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.58391	0.583914	1528957
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.597909	0.598663	1529074
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.641901	0.642577	1528186
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.678896	0.679467	1528894
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.701892	0.702086	1529152
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.787879	0.788218	1528909
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.867867	0.867352	1528870
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.908861	0.908754	1528987
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.922859	0.923789	1529038
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.97685	0.977623	1528921
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	1.04984	1.05011	1528492
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	1.08483	1.08405	1528459
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	1.18982	1.1895	1528243
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	1.20781	1.20871	1527814
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	1.3058	1.30672	1528510
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	1.3168	1.31646	1527796
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	1.58776	1.58819	1528183
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	1.62175	1.62245	1528207
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	1.64475	1.64643	1528273
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	1.65875	1.66003	1529023
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	1.85972	1.86048	1527793
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	1.90771	1.90708	1528348
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	1.9927	1.99345	1528270
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	2.00469	2.00409	1529191
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	2.02669	2.02662	1528282
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	2.07568	2.07525	1528426
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	2.08668	2.08746	1527961
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	2.16567	2.16624	1528291
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	2.37364	2.37484	1527799
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	2.37664	2.37739	1527790
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	2.50162	2.50315	1529167
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	2.68959	2.69066	1528531
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	2.75058	2.75221	1528534
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	2.90756	2.9089	1529107
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	3.12352	3.12509	1528423
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	3.2775	3.2775	1528471
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	3.31749	3.3177	1528906
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	3.52646	3.54593	1528462
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	3.55146	3.55281	1528288
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	3.58045	3.58134	1528474
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	3.69244	3.69383	1527634
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	3.9534	3.95394	1528489
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	4.01839	4.0196	1527946
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	4.30035	4.30255	1527967
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	4.41433	4.41613	1529050
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	4.68829	4.69164	1528435
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	4.72628	4.72739	1528960
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	4.93325	4.93546	1528516
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	5.18921	5.19017	1528519
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	5.2562	5.2585	1528486
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	5.72213	5.72537	1527952
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	5.8931	5.89453	1528393
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	6.02708	6.02887	1528477
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	6.37703	6.37923	1528498
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	6.45602	6.45733	1528537
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	6.68098	6.68356	1528525
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	7.2059	7.20419	1527628
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	7.33388	7.33658	1528495
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	8.39372	8.39641	1528876
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	10.1575	10.1617	1527958
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	10.8573	10.8615	1528468
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	10.8843	10.8857	1528450
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	11.5372	11.5404	1528528
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	13.04	13.0419	1528456
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	13.133	13.1379	1527886
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	13.6969	13.7006	1527907
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	16.5135	16.5178	1528357
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	16.7425	16.7469	1527541
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	16.9474	16.9514	1527808
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	17.6623	17.6733	1528507
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	17.8573	17.8635	1527616
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	18.6322	18.6372	1528255
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	21.3098	21.3138	1527595
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	25.3611	25.371	1528999
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	25.6471	25.6542	1527850
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	26.468	26.4748	1528480
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	27.6178	27.6292	1527622
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	36.6634	36.673	1527619
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	41.4327	41.4281	1527631
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	43.9683	43.9807	1527847
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	45.2601	45.2712	1527949
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	46.4199	46.4368	1527538
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	49.4085	49.4249	1528399
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	50.8453	50.8386	1527610
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	53.9918	54.0069	1527868
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	65.1461	65.1697	1527499
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	66.2709	66.2962	1527598
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	66.7119	66.7318	1527523
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	67.6757	67.7	1527637
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	SAT	73.2289	73.249	1527493
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	78.4291	78.4493	1527601
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	81.6876	81.7171	1527895
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	83.0094	83.0399	1527520
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	89.6414	89.6728	1527775
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	90.5932	90.618	1527826
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	94.1757	94.2136	1528522
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	94.3996	94.4332	1527529
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	95.1385	95.1721	1527955
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	97.2092	97.2446	1527490
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	102.795	102.832	1527613
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	103.919	103.954	1527568
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	105.162	105.19	1527862
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	107.943	107.972	1527943
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	108.252	108.282	1527589
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	119.827	119.87	1527883
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	121.427	121.459	1527544
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	135.538	135.575	1527565
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	146.234	146.273	1527553
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	153.092	153.133	1527559
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	156.054	156.111	1528042
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	SAT	158.046	158.089	1527517
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	SAT	159.291	159.351	1527508
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	159.811	159.854	1527625
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	172.93	172.973	1527859
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	173.86	173.906	1527829
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	177.901	177.953	1527607
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	182.076	182.124	1527898
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	190.557	190.621	1527769
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	198.869	198.923	1527760
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	207.149	207.21	1527874
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	209.296	209.372	1527844
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	217.185	217.261	1528375
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	221.481	221.538	1527766
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	226.419	226.476	1527856
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	226.752	226.826	1527964
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	235.315	235.375	1527592
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	241.445	241.525	1527526
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	251.595	251.664	1527577
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	265.154	265.241	1527934
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	309.155	309.256	1527865
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	325.601	325.715	1527781
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	SAT	326.966	327.048	1527547
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	SAT	358.079	358.175	1527556
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	420.792	420.949	1527574
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	423.231	423.368	1527853
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	424.399	424.52	1527550
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	466.184	466.316	1527736
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	490.682	490.843	1527889
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	498.096	498.262	1527532
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	513.958	514.093	1527823
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	580.058	580.204	1527901
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	614.886	615.177	1527778
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	619.989	620.137	1527784
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	622.119	622.339	1527772
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	SAT	636.715	636.878	1527583
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	SAT	638.533	638.701	1527586
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	675.275	675.535	1527916
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	683.427	683.611	1527877
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	701.287	701.594	1528018
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	SAT	727.363	727.563	1527709
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	SAT	748.181	748.373	1527718
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	SAT	760.917	761.129	1527940
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	SAT	791.313	791.591	1527703
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	797.435	797.65	1527820
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	SAT	800.367	800.664	1527694
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	824.628	824.845	1527880
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	824.765	825.063	1527838
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	SAT	837.79	837.989	1528000
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	862.781	863.071	1527904
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	888.668	888.917	1527763
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	SAT	897.727	898.016	1527580
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	SAT	1023.52	1023.78	1527514
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	1049.07	1049.41	1527754
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	1076.07	1076.38	1527787
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	1079.98	1080.27	1528057
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	SAT	1139.52	1139.84	1527535

SAT 2009 Competition: main competition (phase 1): benchmarks results per solver

Result page for solver gnovelty+2-H 2009-03-22 (incomplete)

Category "applications instances" (APPLICATION)

Solver found a solution (SATISFIABLE) (4 runs) [Show/Hide]

Solver timed out (no solution given) (267 runs) [Show/Hide]

Solver didn't output a solution line and terminated with an unexpected exit code (16 runs) [Show/Hide]

Solver was terminated by a signal (4 runs) [Show/Hide]

Solver gave a wrong solution (1 run) [Show/Hide]

Category "crafted instances" (CRAFTED)

Solver proved unsatisfiability (UNSATISFIABLE) (2 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (41 runs) [Show/Hide]

Solver timed out (no solution given) (219 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (5 runs) [Show/Hide]

Solver was terminated by a signal (8 runs) [Show/Hide]

Solver gave a wrong solution (6 runs) [Show/Hide]

Category "random instances" (RANDOM)

Solver found a solution (SATISFIABLE) (305 runs) [Show/Hide]

Solver timed out (no solution given) (265 runs) [Show/Hide]