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	0.918859	0.919562	1722135
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	3.89241	3.89369	1722035
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	5.2272	5.22909	1721335
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	81.8066	81.828	1722485

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.01	1200.31	1562811
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.01	1200.31	1559639
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.01	1200.51	1559951
manol-pipe-c6bidw_i.cnf	? (TO)	1200.01	1200.41	1720301
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.01	1200.61	1556883
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.01	1200.31	1722285
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.02	1200.31	1563019
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.02	1200.31	1562655
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.02	1200.41	1722535
mizh-sha0-36-2.cnf	? (TO)	1200.02	1200.31	1724017
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.02	1200.31	1555063
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.02	1200.31	1553815
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.02	1200.31	1717233
manol-pipe-c7nidw.cnf	? (TO)	1200.02	1200.31	1723497
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.02	1200.31	1723601
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.02	1200.51	1554855
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.02	1200.41	1553295
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.02	1200.31	1723035
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.02	1200.31	1563383
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.02	1200.41	1718429
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.02	1200.31	1718689
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.02	1200.31	1718117
simon-s03-w08-15.cnf	? (TO)	1200.02	1200.31	1719781
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.02	1200.31	1722185
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.02	1200.41	1559327
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.02	1200.41	1557975
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.03	1200.62	1716453
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.03	1200.41	1557819
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.03	1200.41	1717129
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.03	1200.42	1717909
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.03	1200.32	1555167
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.03	1200.51	1723393
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.03	1199.91	1722835
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.03	1200.52	1716193
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.03	1199.91	1721385
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.03	1200.51	1721535
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.04	1200.41	1717077
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.04	1207.02	1580255
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1200.41	1721285
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.04	1200.51	1562707
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.04	1207.03	1582439
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.04	1200.52	1715621
manol-pipe-c9.cnf	? (TO)	1200.04	1200.41	1724381
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.04	1200.51	1556363
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.04	1200.31	1558235
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.05	1200.51	1556519
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.05	1200.51	1556155
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.05	1200.42	1582751
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.05	1200.51	1554751
goldb-heqc-x1mul.cnf	? (TO)	1200.05	1200.41	1719469
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.05	1200.41	1562863
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.05	1200.41	1579891
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.05	1200.42	1577655
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.05	1200.52	1717389
industrial/grieu/ vmpc_24.cnf	? (TO)	1200.05	1200.41	1718533
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.05	1200.41	1718637
mizh-md5-47-3.cnf	? (TO)	1200.05	1200.41	1719521
schup-l2s-motst-2-k315.cnf	? (TO)	1200.05	1200.53	1720041
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.05	1200.51	1560575
simon-s02b-dp11u10.cnf	? (TO)	1200.05	1200.41	1723861
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.05	1200.41	1560939
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.05	1200.41	1722585
manol-pipe-c10nidw_s.cnf	? (TO)	1200.05	1200.03	1723237
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.05	1200.62	1577915
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.05	1200.51	1557611
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.05	1200.51	1557091
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.05	1200.42	1715881
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.06	1200.41	1718897
manol-pipe-g10nid.cnf	? (TO)	1200.06	1200.42	1720197
mizh-sha0-36-4.cnf	? (TO)	1200.06	1200.41	1720249
manol-pipe-f10ni.cnf	? (TO)	1200.06	1200.42	1724069
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.06	1200.41	1560627
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.06	1200.51	1560887
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.06	1207.02	1580359
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.06	1200.55	1719053
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.06	1200.41	1721985
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.06	1200.73	1563331
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.06	1200.41	1721685
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.06	1200.51	1717337
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.06	1200.41	1554439
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.06	1200.41	1716713
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.06	1200.42	1715673
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.06	1200.51	1554595
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.06	1200.41	1554699
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.06	1200.41	1581763
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.06	1200.42	1563487
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.06	1200.41	1556831
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.06	1200.53	1563643
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.06	1200.41	1563695
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.06	1200.55	1563747
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.06	1200.41	1563071
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.06	1200.62	1582179
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.06	1200.41	1718741
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.06	1200.51	1556103
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.06	1200.41	1717493
hoons-vbmc-lucky7.cnf	? (TO)	1200.06	1200.51	1719885
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.06	1200.61	1558443
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.06	1200.51	1717857
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.06	1200.51	1554127
manol-pipe-c6nidw_i.cnf	? (TO)	1200.06	1200.41	1724485
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.06	1200.41	1560367
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.06	1200.51	1558859
manol-pipe-c10nidw.cnf	? (TO)	1200.06	1200.63	1720093
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.07	1200.41	1555635
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.07	1200.42	1578799
manol-pipe-g6bi.cnf	? (TO)	1200.07	1200.61	1723757
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.07	1200.42	1581971
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.07	1200.41	1563123
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.07	1200.41	1717025
manol-pipe-f9n.cnf	? (TO)	1200.07	1200.51	1723965
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.07	1200.51	1720925
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.07	1199.92	1716661
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.51	1721185
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.07	1200.42	1716089
aloul-chnl11-13.cnf	? (TO)	1200.07	1200.41	1720405
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.07	1200.42	1719313
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.07	1200.42	1581347
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.07	1200.42	1717961
cmu-bmc-longmult15.cnf	? (TO)	1200.07	1200.51	1720665
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.07	1200.52	1724433
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.07	1200.51	1557039
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.07	1200.43	1577863
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.07	1200.41	1718221
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.07	1200.51	1722635
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.07	1200.51	1553503
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.08	1200.41	1718273
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.08	1200.51	1555479
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.08	1200.41	1718585
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.08	1200.51	1716869
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.51	1559535
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.08	1200.41	1559743
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.08	1207.01	1559795
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.08	1200.51	1560055
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.08	1200.51	1579423
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.08	1200.52	1556259
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.08	1200.41	1562967
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.08	1200.41	1721735
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.08	1200.54	1577551
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722885
schup-l2s-guid-1-k56.cnf	? (TO)	1200.08	1200.51	1724121
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.08	1200.51	1554023
manol-pipe-g10bidw.cnf	? (TO)	1200.08	1200.62	1723289
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.08	1309.61	1555271
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.08	1200.63	1717753
simon-s03-fifo8-300.cnf	? (TO)	1200.08	1200.61	1724173
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.08	1200.51	1717649
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.08	1200.62	1715777
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.08	1200.61	1563175
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.09	1200.62	1716245
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.09	1200.41	1722385
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.61	1723913
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.09	1200.42	1715829
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.09	1200.42	1715985
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.09	1200.52	1716141
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.09	1200.42	1716297
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.09	1200.41	1716973
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.09	1200.41	1718325
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.61	1718481
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.09	1200.41	1719105
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.09	1200.54	1719001
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.09	1200.51	1719625
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.09	1200.41	1720353
mizh-sha0-35-3.cnf	? (TO)	1200.09	1200.41	1720717
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.09	1200.51	1721835
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1721785
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.09	1200.41	1721885
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.09	1200.51	1723085
manol-pipe-g10id.cnf	? (TO)	1200.09	1200.51	1723549
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.09	1200.51	1554179
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.09	1200.51	1558079
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.41	1558027
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.09	1200.41	1557507
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.09	1200.41	1556623
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.09	1200.41	1556571
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.09	1200.41	1556467
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.09	1200.42	1581607
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.09	1200.41	1553347
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.09	1200.61	1553243
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.09	1200.43	1580047
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.09	1200.42	1579995
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.09	1200.51	1560471
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.09	1200.61	1560315
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.09	1206.11	1559691
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.09	1200.41	1559379
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.09	1200.51	1559275
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.09	1200.41	1559015
manol-pipe-g7nidw.cnf	? (TO)	1200.09	1200.41	1724329
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.09	1200.61	1562759
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.09	1200.51	1562915
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.09	1200.62	1577499
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.09	1200.74	1577811
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.1	1200.41	1559223
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.1	1200.63	1577603
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.1	1200.41	1718845
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.1	1200.41	1553399
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.1	1200.51	1558495
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.1	1200.61	1718169
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.1	1200.41	1718065
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.1	1200.73	1717805
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.1	1200.55	1577759
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.1	1200.74	1717285
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.1	1200.42	1580879
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.1	1200.62	1581503
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.1	1200.62	1580099
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.1	1200.41	1579475
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.1	1200.41	1563227
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.1	1200.52	1716609
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.1	1200.42	1580567
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.1	1200.43	1716401
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.1	1200.41	1557715
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.1	1200.52	1716505
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.1	1200.62	1716037
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.1	1200.41	1553191
manol-pipe-c10nid_i.cnf	? (TO)	1200.1	1200.72	1720769
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.1	1200.41	1560731
mizh-md5-47-4.cnf	? (TO)	1200.1	1200.41	1720561
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.1	1200.51	1720145
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.1	1200.42	1577707
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.1	1200.62	1578955
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.1	1200.53	1724225
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.1	1200.41	1560107
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.1	1200.81	1578227
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.1	1200.51	1723135
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.1	1200.63	1580775
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.1	1200.51	1718377
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.1	1200.41	1556051
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.1	1200.51	1554231
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.1	1200.51	1563591
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.1	1200.72	1554543
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.41	1721235
manol-pipe-c7bidw_i.cnf	? (TO)	1200.11	1200.61	1724277
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.11	1200.62	1580151
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.11	1200.42	1715725
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.11	1201.92	1579839
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.11	1200.73	1579371
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.11	1200.51	1723705
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1722785
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1721435
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.11	1200.43	1563279
mizh-md5-48-5.cnf	? (TO)	1200.11	1200.51	1721133
manol-pipe-f9b.cnf	? (TO)	1200.11	1200.41	1719989
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.11	1200.41	1556779
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.11	1200.43	1719937
mizh-sha0-36-3.cnf	? (TO)	1200.11	1200.51	1719833
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.11	1200.41	1722435
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.11	1200.39	1719209
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.11	1200.52	1718013
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.11	1200.41	1558807
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.11	1200.63	1716765
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.11	1200.51	1716349
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.11	1200.52	1716557
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.11	1200.42	1581087
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.11	1200.42	1553867
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.11	1200.72	1582023
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.11	1200.52	1555895
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.11	1200.51	1556727
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.12	1200.81	1722985
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.12	1200.72	1715933
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.12	1200.52	1717181
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.12	1200.63	1719157
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.12	1200.52	1581919
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.12	1200.42	1554907
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.16	1200.68	1719261
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.18	1200.5	1723185
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.2	1200.8	1723341
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.21	1200.52	1718949

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (exit code)	0.000999	0.00589501	1563435
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	0.002998	0.00504599	1716921
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	0.009997	0.010444	1716817
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (exit code)	0.010997	0.0115561	1560159
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (exit code)	0.017996	0.01731	1560679
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (exit code)	0.019996	0.02075	1560835
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (exit code)	0.023995	0.024204	1560419
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	0.047991	0.0487859	1717701
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	0.065989	0.0654529	1717597
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	0.067989	0.0685561	1717545
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	0.081987	0.081975	1717441
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	0.855869	0.858044	1723809
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	1.65775	1.65878	1719729
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (exit code)	6.03108	6.03282	1719417
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (exit code)	6.53401	6.53455	1719365
industrial/narain/ clauses-8.cnf	? (exit code)	10.3534	10.3609	1718793

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
goldb-heqc-term1mul.cnf	Signal 11	58.4061	58.4435	1723653
goldb-heqc-frg1mul.cnf	Signal 11	152.316	152.357	1719677
cmu-bmc-barrel6.cnf	Signal 11	189.342	189.408	1719573
goldb-heqc-alu4mul.cnf	Signal 11	618.009	618.23	1721029
goldb-heqc-dalumul.cnf	Signal 11	1062.34	1062.68	1720457
goldb-heqc-i10mul.cnf	Signal 11	1158.21	1158.72	1723445

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.00500711	1736585
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.00507309	1736885

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.008997	0.00960808	1733035
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.015997	0.0156941	1734235
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.018996	0.0201161	1734385
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.024995	0.023976	1734135
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.032994	0.0331571	1734185
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.037993	0.038109	1734485
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.040993	0.041681	1734435
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.041992	0.043229	1736185
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.043992	0.0442679	1734335
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.043992	0.0443861	1734585
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.05499	0.055816	1734285
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.05899	0.0592351	1734635
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	0.064989	0.065748	1738292
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.075987	0.0761721	1732685
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.077987	0.077524	1734535
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.092985	0.093287	1736235
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	0.333948	0.332566	1732485
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.350946	0.351358	1732885
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	0.417936	0.418559	1732385
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.960853	0.962074	1738186
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	1.3048	1.31224	1733135
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	2.30965	2.31053	1732635
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	2.77058	2.7703	1738133
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	SAT	4.05538	4.0566	1737603
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	4.52531	4.53139	1732935
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	5.55815	5.56034	1732435
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	12.6281	12.6334	1732335
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	14.2448	14.2502	1732585
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	21.2838	21.2915	1737497
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	39.215	39.2388	1561511
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	42.0266	42.0553	1561927
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	64.9541	64.9739	1737444
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	68.3646	68.3897	1735135
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	113.76	114.327	1562083
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	152.597	152.636	1738080
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	214.697	214.773	1738345
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	382.431	382.567	1732235
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	SAT	395.338	395.443	1732285
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	406.466	406.582	1725650
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	SAT	408.046	408.153	1737391
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	412.668	412.779	1735285
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	511.725	511.856	1738239
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	657.985	658.178	1735335
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	898.523	898.721	1735085

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1731692
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1726498
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.01	1200.51	1735785
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1731162
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729996
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.01	1200.31	1736085
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.02	1200.41	1732135
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.02	1200.31	1733285
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1725597
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1725703
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1725544
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1730314
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1728618
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.02	1200.32	1736935
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.02	1200.41	1732535
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.03	1200.53	1726975
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.03	1200.41	1734885
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.03	1200.43	1730685
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1725862
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.03	1200.33	1562603
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.03	1200.32	1736635
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1729731
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.03	1200.42	1733185
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.03	1200.41	1736035
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1728194
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.03	1200.51	1562135
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1730155
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.03	1200.41	1735585
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1727028
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.03	1200.31	1733685
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1728247
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727134
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1729519
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.04	1200.42	1737135
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1731480
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1731374
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1728830
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.04	1200.41	1732985
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1728141
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.05	1200.41	1560991
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.05	1200.41	1732085
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1730579
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731586
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731427
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.05	1200.51	1737656
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725756
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1725968
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.05	1200.31	1726021
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1726286
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1726233
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.05	1200.41	1737550
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.05	1200.41	1735835
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.05	1200.41	1737709
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728088
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727770
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.05	1200.41	1737285
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.05	1200.41	1733985
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.05	1200.51	1733885
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.05	1200.41	1733535
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.05	1200.51	1736535
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730049
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.06	1200.51	1735435
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.06	1200.41	1734985
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.06	1200.91	1726392
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728353
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.35	1736285
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (TO)	1200.06	1200.41	1561771
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728777
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1725915
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730208
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.06	1200.41	1561303
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729307
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.06	1200.41	1731835
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729837
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.06	1201.53	1727452
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727664
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.06	1200.41	1735635
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.06	1200.51	1735535
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.07	1200.41	1732835
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1725279
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726869
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.07	1200.51	1733485
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726922
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1729890
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.07	1200.42	1561199
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.07	1200.41	1736685
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.07	1200.41	1731985
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1725438
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731109
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729943
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1729466
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.07	1200.51	1735935
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726816
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726657
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726339
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.07	1200.41	1734685
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.07	1200.41	1733935
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.07	1200.41	1732035
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1730897
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.07	1200.51	1731885
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (TO)	1200.07	1200.51	1562031
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729625
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.07	1200.51	1737338
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726074
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730632
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.08	1200.51	1738398
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.08	1200.41	1562499
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.08	1200.41	1562239
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.08	1200.41	1561563
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1725491
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726551
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727187
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727982
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1728035
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728565
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728724
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728671
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728989
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728936
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729201
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729254
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729413
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729784
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730102
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731003
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731268
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.08	1200.41	1732185
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.08	1200.41	1733235
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.08	1200.51	1733085
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.51	1733585
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.08	1200.62	1733735
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	? (TO)	1200.08	1200.51	1734785
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.08	1200.42	1736335
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.09	1200.54	1736735
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1730473
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731639
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728512
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730738
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731215
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.09	1200.41	1731935
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.09	1200.41	1733635
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730367
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730261
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.09	1200.51	1734035
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.09	1200.41	1734935
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.09	1200.41	1734835
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.09	1200.45	1562551
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.09	1200.51	1735035
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729678
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.09	1200.41	1735385
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.09	1200.41	1735485
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.09	1200.41	1735685
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1727717
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.09	1200.51	1562447
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.09	1200.41	1735735
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726710
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1729360
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.09	1200.41	1736135
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731321
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726127
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.09	1200.51	1736835
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1725809
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725332
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729148
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.09	1200.41	1733435
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.09	1200.71	1562187
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.1	1200.41	1736485
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.1	1200.41	1561667
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726180
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730526
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727876
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726604
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.1	1200.41	1735185
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1730950
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1731533
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.1	1200.45	1737235
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725385
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.1	1200.41	1562291
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727823
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730791
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1727081
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	? (TO)	1200.1	1200.41	1735235
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.1	1200.45	1732785
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729042
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.1	1200.51	1734735
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731056
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.1	1200.51	1733385
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728883
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728300
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1726763
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1730420
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729572
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729095
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.11	1200.72	1733335
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728459
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.11	1200.41	1734085
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.11	1200.41	1733835
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.11	1200.52	1733785
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.11	1200.64	1728406
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1727929
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1730844
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.11	1200.41	1735885
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.11	1200.91	1726445
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.11	1200.41	1735985
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.11	1200.41	1737035
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.11	1200.41	1561823
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.12	1206.14	1561095
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.12	1200.44	1736985
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.13	1200.45	1727399
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.14	1200.43	1737974
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.15	1200.5	1737762
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.17	1200.63	1737868
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.17	1200.7	1737815
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.17	1200.49	1727611

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (MO)	3.03754	3.03918	1738027
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (MO)	3.03854	3.03974	1737921
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (MO)	8.35873	135.418	1561251
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (MO)	8.43572	8.43817	1727558
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (MO)	9.01663	9.03307	1727505
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (MO)	10.0155	10.0299	1727346
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (MO)	14.2148	14.2246	1727293
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (MO)	15.0157	590.172	1562343
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (MO)	18.4122	18.4277	1727240
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (MO)	23.8364	23.8448	1561979

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	? (exit code)	0.027994	0.0282399	1737085
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (exit code)	1.57676	1.57772	1561043
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (exit code)	2.23666	2.23702	1562395
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (exit code)	3.2625	3.26506	1561147
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (exit code)	12.4431	12.4451	1561355
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (exit code)	436.717	436.854	1561459
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (exit code)	466.049	466.171	1561407

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	Signal 11	10.8184	10.8213	1561719
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	Signal 11	132.741	132.782	1736385
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	Signal 11	211.054	211.138	1736435
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	Signal 11	1162.97	1163.38	1736785

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.006998	0.00810897	1529117
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.006998	0.00676592	1529048
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.006998	0.00767089	1529177
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.007997	0.0101471	1528214
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.007998	0.0100899	1528955
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.007998	0.0087549	1529114
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.007998	0.0083569	1529171
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.008997	0.00955091	1529147
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.008997	0.00899698	1529183
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.008998	0.00951006	1529150
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.009997	0.00956291	1528226
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.009998	0.012423	1529141
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.011997	0.0123601	1529063
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.011997	0.012336	1529036
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.011998	0.012306	1528196
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.011998	0.0130259	1529090
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.012997	0.011593	1528919
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.012997	0.0137469	1529045
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.012997	0.0144539	1529156
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.012997	0.0127909	1528943
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.012997	0.0155159	1529093
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.013997	0.014814	1528880
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.013997	0.0144851	1529162
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.014996	0.0156591	1528268
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.015996	0.015092	1529054
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.015996	0.0159589	1528181
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.015997	0.0163031	1528217
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.016996	0.017721	1528223
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.016996	0.017338	1528247
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.016997	0.0185169	1528952
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.017996	0.018483	1529027
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.018996	0.0194251	1528295
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.019996	0.0211689	1528979
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.019996	0.0205571	1529033
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.019996	0.020188	1528982
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.020996	0.0218311	1529174
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.021995	0.0210791	1528874
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.021995	0.0219519	1528967
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.021995	0.022297	1529018
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.022995	0.0229469	1528439
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.025995	0.028571	1529099
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.025995	0.0267539	1529042
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.026995	0.027363	1528193
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.027995	0.0286129	1528916
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.030994	0.030495	1529198
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.030994	0.0311579	1528976
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.030994	0.031733	1529126
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.031994	0.0330831	1529084
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.032994	0.0342721	1528904
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.032994	0.0328851	1528940
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.033994	0.034857	1528931
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.033994	0.0342409	1528895
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.034994	0.0354891	1528898
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.035993	0.0361599	1528250
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.039993	0.0415711	1528211
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.040992	0.0408819	1529159
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.040993	0.041401	1529006
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.042992	0.0438961	1529189
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.043993	0.044257	1529102
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.044993	0.045673	1528886
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.045992	0.044661	1529165
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.045993	0.0462999	1529135
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.047991	0.0489251	1528949
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.049991	0.0496511	1528934
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	0.049992	0.05032	1528271
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.05399	0.054468	1528994
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.053991	0.0543991	1529132
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.055991	0.0574909	1528265
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.055991	0.0574199	1529096
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.055991	0.0576961	1529012
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.055991	0.0565679	1529003
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.056991	0.05935	1528883
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.05799	0.058145	1529129
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.058991	0.06038	1529186
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.05999	0.0603501	1528253
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.062989	0.0621401	1529120
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.062989	0.0618229	1528913
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.066989	0.067509	1528235
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	0.066989	0.067929	1528985
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.067989	0.068653	1528262
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.074987	0.074474	1529024
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.074987	0.075343	1528910
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.076987	0.077893	1528430
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.078987	0.079182	1529138
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.078987	0.078737	1529144
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.083986	0.0848509	1529105
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.088985	0.0896081	1528970
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.090985	0.0907909	1528889
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.101983	0.105303	1529021
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.103984	0.104912	1528937
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.105983	0.105849	1529060
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.107982	0.108435	1528202
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.108982	0.109598	1528871
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.110982	0.111202	1528220
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.111982	0.112423	1528988
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.118981	0.119168	1528997
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.12598	0.126256	1528901
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.12798	0.129488	1529069
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.132978	0.133066	1528277
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.133979	0.134923	1529195
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.140978	0.142322	1528946
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.166974	0.16743	1529081
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.166974	0.166883	1529057
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.170973	0.171713	1529009
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.171973	0.172281	1528973
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.175973	0.177036	1528232
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.181971	0.182581	1529015
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.183971	0.187049	1528280
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.18697	0.187686	1528190
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.202968	0.201962	1528922
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.206967	0.207404	1528925
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.210967	0.210802	1528184
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.230964	0.231351	1528199
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	0.237963	0.236976	1528493
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.246961	0.248079	1529111
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.247962	0.248526	1528964
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.291955	0.292703	1528928
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.294954	0.295112	1529030
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	0.295954	0.29525	1528490
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	0.300953	0.299811	1528517
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.32295	0.323934	1528229
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.381941	0.3822	1528892
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.399939	0.400539	1529123
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.406937	0.406562	1528991
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.417936	0.41897	1528187
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.443932	0.444759	1529072
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.447931	0.451068	1528238
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	0.45693	0.457909	1528274
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.465928	0.46659	1529075
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	0.479927	0.480571	1528205
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	0.481926	0.482161	1528514
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	0.487925	0.488379	1528283
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.490924	0.491358	1528241
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.496923	0.497223	1528208
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.536917	0.537505	1527803
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.560913	0.56135	1529180
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	0.560914	0.562171	1528481
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.592909	0.592122	1529039
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	0.592909	0.593507	1528532
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.606907	0.60808	1528421
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.610907	0.611548	1529078
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	0.660898	0.661029	1528508
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	0.708891	0.7096	1527953
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.752884	0.753143	1528286
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.767882	0.768743	1528244
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	0.843871	0.845327	1528520
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	0.897862	0.896796	1527800
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.91086	0.911694	1529066
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.951854	0.95655	1529153
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	1.04584	1.04641	1528259
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	1.06284	1.06348	1528529
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	1.06384	1.06473	1529192
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	1.10083	1.10119	1528292
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	1.10583	1.10647	1528445
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	1.14582	1.14685	1528298
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	1.19182	1.19302	1528442
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	1.23281	1.2328	1528475
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	1.24981	1.24914	1528484
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	1.26381	1.26409	1528958
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	1.3148	1.31677	1529108
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	1.3258	1.32849	1528433
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	1.34379	1.34438	1528505
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	1.51277	1.51252	1528502
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	1.66974	1.67095	1528463
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	1.80272	1.80393	1528469
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	1.93271	1.93438	1527632
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	2.17867	2.18009	1528427
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	2.21266	2.21195	1527797
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	2.28065	2.28183	1528460
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	2.48862	2.48967	1528457
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	2.53961	2.54093	1528538
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	2.6566	2.65765	1528289
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	2.78857	2.79029	1528451
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	2.79557	2.79754	1529168
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	2.94655	2.94811	1529051
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	3.05353	3.05327	1528466
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	3.12552	3.12541	1527806
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	3.49247	3.49373	1528523
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	3.55846	3.55939	1527521
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	3.60745	3.60806	1527809
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	3.62345	3.6232	1528394
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	3.79242	3.79416	1527812
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	4.11637	4.11808	1528358
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	4.11737	4.11856	1528478
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	4.21836	4.22019	1528454
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	4.42733	4.42924	1527815
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	4.53931	4.54119	1528349
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	4.63729	4.63979	1528499
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	4.84126	4.84327	1528472
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	5.62114	5.6226	1527818
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	5.64214	5.64408	1527947
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	5.78712	5.78836	1528424
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	5.9451	5.94672	1528256
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	6.34004	6.34267	1528436
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	6.41302	6.4139	1527962
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	7.54385	7.54549	1527950
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	7.54585	7.54873	1527959
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	8.09877	8.10032	1528907
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	8.47671	8.47809	1527794
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	8.99863	9.00305	1529087
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	9.61754	9.62071	1527635
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	9.70952	9.71285	1528877
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	10.0935	10.0978	1527791
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	10.1795	10.1822	1528535
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	10.6114	10.6152	1527638
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	11.2373	11.3339	1528448
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	11.5742	11.5781	1527968
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	13.7359	13.7407	1527623
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	13.8409	13.8464	1529000
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	14.2748	14.2807	1528496
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	16.0036	16.0077	1527542
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	19.2441	19.25	1528526
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	23.6854	23.6921	1527596
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	24.8842	24.8937	1527944
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	26.8669	26.8759	1527626
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	30.6233	30.63	1527545
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	32.704	32.7182	1527620
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	32.743	32.7505	1528511
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	32.956	32.968	1527602
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	39.729	39.7429	1527617
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	40.3269	40.3224	1527767
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	42.4935	42.5091	1527965
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	42.9165	42.9276	1527560
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	45.768	45.7857	1528487
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	50.9253	50.9448	1528961
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	50.9972	51.0153	1527884
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	51.2162	51.2345	1527629
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	54.1138	54.1372	1527590
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	SAT	54.9386	54.9591	1527494
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	56.3114	56.3322	1527611
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	60.2548	60.2722	1527770
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	60.5428	60.5666	1528376
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	64.9021	64.9248	1527593
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	70.3313	70.3488	1527539
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	74.7556	74.7789	1527599
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	79.008	79.0293	1527863
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	81.2406	81.2786	1527845
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	84.2262	84.2553	1527551
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	84.5141	84.5441	1527908
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	85.8969	85.9256	1527902
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	95.8414	95.8691	1527530
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	96.1474	96.1736	1527776
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	97.3162	97.342	1527533
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	98.2901	98.3256	1527890
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	101.33	101.358	1527824
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	110.6	110.628	1527851
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	114.779	114.81	1527875
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	SAT	117.177	117.221	1527548
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	131.543	131.587	1527854
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	138.278	138.324	1527578
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	SAT	145.166	145.148	1527572
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	146.097	146.144	1527866
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	SAT	146.905	146.943	1527509
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	149.27	149.317	1527764
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	152.734	152.775	1527527
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	153.317	153.358	1527848
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	160.61	160.649	1527887
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	163.622	163.678	1527614
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	170.932	170.977	1527857
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	176.484	176.545	1527896
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	SAT	182.652	182.702	1527536
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	188.878	188.936	1527788
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	197.531	197.581	1527956
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	198.563	198.632	1527827
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	202.383	202.445	1527491
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	231.163	231.245	1527554
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	250.135	250.203	1528046
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	257.405	257.498	1527575
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	281.221	281.293	1527524
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	282.5	282.569	1527881
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	295.183	295.255	1528400
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	301.452	301.523	1527569
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	SAT	312.022	312.106	1527581
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	316.781	316.871	1527860
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	SAT	338.69	338.77	1527512
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	353.784	353.881	1528043
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	SAT	365.418	365.512	1527584
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	SAT	399.201	399.322	1527518
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	401.451	401.559	1527608
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	414.564	414.682	1528019
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	436.143	436.255	1527566
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	457.096	457.266	1527839
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	SAT	486.13	486.3	1527941
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	499.697	499.876	1527899
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	502.744	502.932	1527977
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	509.336	509.525	1527500
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	522.914	523.107	1527761
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	526.123	526.287	1527833
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	541.629	541.774	1527992
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	541.876	542.057	1527773
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	551.468	551.615	1527905
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	584.299	584.851	1527830
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	596.205	596.405	1527935
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	596.936	597.093	1527878
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	650.991	651.206	1527821
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	678.06	678.298	1527785
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	698.839	699.064	1527737
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	724.278	724.5	1527869
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	SAT	778.931	779.143	1527557
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	780.466	780.731	1527755
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	SAT	789.949	790.157	1527506
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	872.044	872.359	1527893
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	885.226	885.539	1527749
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	SAT	972.213	972.529	1527515
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	SAT	1163.18	1163.48	1527587

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

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

Category "applications instances" (APPLICATION)

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

Solver timed out (no solution given) (266 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 (6 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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

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

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

Solver was terminated by a signal (4 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]