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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	5.71713	5.73031	1721723
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	6.22805	6.24425	1722123
industrial/grieu/ vmpc_24.cnf	SAT	31.9411	31.9496	1718521
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	34.2588	34.2994	1721323
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	41.5467	41.5999	1722023
industrial/grieu/ vmpc_26.cnf	SAT	106.727	106.769	1718729
industrial/grieu/ vmpc_25.cnf	SAT	242.339	242.401	1718365

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.01	1200.31	1721773
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.01	1200.31	1717845
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.01	1200.31	1553803
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.02	1200.32	1580867
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.02	1200.31	1721273
goldb-heqc-alu4mul.cnf	? (TO)	1200.02	1200.41	1721017
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.02	1200.31	1553335
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.02	1200.72	1716649
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.02	1200.31	1562747
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.03	1199.91	1721173
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.03	1200.61	1556455
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.03	1200.32	1556247
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.03	1200.51	1556559
manol-pipe-c9.cnf	? (TO)	1200.03	1199.91	1724369
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.04	1200.72	1582427
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.04	1200.42	1715869
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.04	1200.51	1556871
mizh-md5-47-4.cnf	? (TO)	1200.04	1200.61	1720549
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.04	1200.41	1558483
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.04	1200.51	1554011
manol-pipe-c10nidw_s.cnf	? (TO)	1200.04	1200.42	1723225
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.04	1200.71	1724213
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.04	1200.52	1580139
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.04	1200.52	1716285
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.05	1200.72	1579827
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.05	1200.51	1723381
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.05	1200.51	1718625
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.05	1200.52	1716025
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.05	1200.41	1721873
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.05	1200.41	1559367
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.05	1200.41	1556767
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.05	1200.42	1580347
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.05	1200.52	1581335
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.05	1200.41	1578215
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.05	1200.41	1556611
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.05	1200.72	1577903
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.05	1200.31	1559731
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.06	1200.51	1558223
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.06	1200.51	1556507
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.06	1200.42	1553179
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.06	1200.51	1553283
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.06	1200.52	1581959
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.06	1200.82	1581751
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.06	1200.42	1554531
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.06	1200.72	1581491
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.06	1200.41	1722373
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.06	1200.41	1559263
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.06	1200.72	1716389
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.06	1200.41	1717221
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.06	1200.51	1562955
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.06	1200.41	1718209
simon-s03-w08-15.cnf	? (TO)	1200.06	1200.41	1719769
mizh-sha0-36-3.cnf	? (TO)	1200.06	1200.41	1719821
manol-pipe-g7nidw.cnf	? (TO)	1200.06	1200.41	1724317
manol-pipe-c10nidw.cnf	? (TO)	1200.06	1201.33	1720081
manol-pipe-g6bi.cnf	? (TO)	1200.06	1200.41	1723745
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.06	1200.41	1558847
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.06	1200.51	1721673
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.06	1200.51	1721973
manol-pipe-f10ni.cnf	? (TO)	1200.06	1200.72	1724057
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.06	1200.41	1559627
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.06	1200.41	1560043
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1723023
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.06	1200.51	1563371
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.06	1200.41	1563579
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.06	1200.41	1563683
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.06	1200.52	1579463
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.06	1200.41	1563111
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.06	1200.62	1577591
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.06	1200.52	1715661
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.07	1200.51	1563215
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.07	1200.51	1721523
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.07	1200.52	1716181
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.07	1200.62	1555155
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.07	1200.41	1718053
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.07	1200.42	1722973
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.07	1200.41	1557599
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.07	1200.41	1562799
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.07	1200.51	1562851
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.07	1200.42	1553855
manol-pipe-g10nid.cnf	? (TO)	1200.07	1200.42	1720185
simon-s03-fifo8-300.cnf	? (TO)	1200.07	1200.42	1724161
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.07	1200.42	1581595
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.07	1200.51	1559003
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.07	1200.51	1718417
mizh-md5-48-5.cnf	? (TO)	1200.07	1200.41	1721121
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.07	1200.42	1577695
manol-pipe-g10id.cnf	? (TO)	1200.08	1200.51	1723537
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.08	1200.42	1554895
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.08	1200.41	1718677
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.08	1200.51	1562903
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.08	1200.41	1719613
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.08	1200.41	1716701
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.08	1200.61	1722173
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.08	1200.52	1582011
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.08	1200.51	1559315
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.08	1200.52	1582167
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.08	1200.41	1559211
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.08	1200.42	1582739
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.08	1200.82	1579983
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.08	1200.43	1581075
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.08	1200.51	1557703
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.08	1200.41	1718573
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.08	1200.41	1563059
goldb-heqc-dalumul.cnf	? (TO)	1200.08	1200.51	1720445
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.08	1200.42	1580087
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.08	1207.02	1553387
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.09	1200.51	1718833
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.09	1200.42	1718001
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.41	1722423
manol-pipe-f9n.cnf	? (TO)	1200.09	1200.72	1723953
manol-pipe-c7bidw_i.cnf	? (TO)	1200.09	1200.51	1724265
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.09	1200.42	1715817
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.09	1200.42	1716337
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.09	1200.42	1716545
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.09	1200.43	1716753
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.09	1200.42	1717793
aloul-chnl11-13.cnf	? (TO)	1200.09	1200.41	1720393
manol-pipe-c6bidw_i.cnf	? (TO)	1200.09	1200.41	1720289
mizh-sha0-35-3.cnf	? (TO)	1200.09	1200.41	1720705
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.09	1200.41	1721373
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.09	1200.51	1721823
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1722573
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.09	1200.51	1722773
manol-pipe-c7nidw.cnf	? (TO)	1200.09	1200.51	1723485
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.09	1200.41	1558067
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.41	1558015
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.09	1200.41	1557963
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.09	1200.41	1557027
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.09	1200.51	1556819
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.09	1200.61	1556715
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.09	1200.51	1556143
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.09	1200.41	1579879
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.09	1200.42	1578787
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.09	1200.51	1560719
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.09	1200.41	1559523
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.09	1200.42	1580763
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.09	1200.41	1562695
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.09	1200.44	1577539
mizh-sha0-36-2.cnf	? (TO)	1200.1	1200.41	1724005
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.1	1200.41	1554739
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.1	1200.62	1715765
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.1	1200.41	1557495
mizh-sha0-36-4.cnf	? (TO)	1200.1	1200.41	1720237
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.1	1200.41	1723073
mizh-md5-47-3.cnf	? (TO)	1200.1	1200.51	1719509
manol-pipe-c6nidw_i.cnf	? (TO)	1200.1	1200.51	1724473
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.1	1200.52	1715713
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.1	1200.42	1580555
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.1	1200.41	1718105
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.1	1200.62	1717949
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.1	1200.43	1577851
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.1	1200.72	1716233
manol-pipe-g10bidw.cnf	? (TO)	1200.1	1200.52	1723277
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.1	1200.42	1577487
hoons-vbmc-lucky7.cnf	? (TO)	1200.1	1200.51	1719873
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.1	1200.42	1555883
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.1	1200.41	1560563
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.1	1200.42	1555623
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.1	1200.41	1722623
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.1	1200.41	1563163
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.1	1200.72	1581907
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.41	1721223
simon-s02b-dp11u10.cnf	? (TO)	1200.1	1200.41	1723849
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.11	1200.52	1716441
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.11	1200.51	1557807
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.11	1200.52	1579411
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1723123
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.11	1200.63	1563267
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.11	1200.41	1560615
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1722873
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1721423
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.11	1200.41	1720913
manol-pipe-c10nid_i.cnf	? (TO)	1200.11	1200.42	1720757
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.11	1200.51	1558795
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.11	1200.41	1558431
manol-pipe-f9b.cnf	? (TO)	1200.11	1200.42	1719977
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.11	1200.51	1718469
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.11	1200.72	1716129
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.11	1200.42	1715973
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.11	1200.41	1562643
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.11	1200.52	1715921
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.11	1200.71	1563007
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.11	1200.52	1715609
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.11	1200.51	1722273
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.12	1200.62	1580243
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.12	1200.52	1716493
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.12	1200.43	1579359
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.12	1200.42	1720341
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.12	1200.51	1557079
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.12	1200.52	1577643
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.12	1200.52	1716597
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.12	1200.52	1563475
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.12	1200.63	1580035
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.12	1200.72	1716077
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.12	1200.64	1563735
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.12	1200.41	1722523
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.12	1200.42	1578943

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
schup-l2s-motst-2-k315.cnf	? (exit code)	0	0.00497793	1720029
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (exit code)	0	0.00506793	1577799
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (exit code)	0	0.00518502	1719353
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (exit code)	0	0.00510492	1577747
schup-l2s-bc56s-1-k391.cnf	? (exit code)	0	0.00506589	1719925
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (exit code)	0.000999	0.00499489	1717741
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (exit code)	0.000999	0.00564297	1563423
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (exit code)	0.000999	0.00531611	1719405
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (exit code)	0.000999	0.00540903	1717273
industrial/narain/ clauses-8.cnf	? (exit code)	0.001998	0.00501106	1718781
industrial/fuhs/medium/ AProVE07-16.cnf	? (exit code)	0.005998	0.00655712	1716857
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (exit code)	0.005998	0.00699497	1560355
industrial/fuhs/hard/ AProVE07-25.cnf	? (exit code)	0.005998	0.00686793	1717013
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (exit code)	0.005998	0.00707504	1560875
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (exit code)	0.005998	0.00707994	1559679
industrial/fuhs/hard/ AProVE07-26.cnf	? (exit code)	0.005998	0.00688108	1717065
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (exit code)	0.005999	0.00673104	1560303
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	0.005999	0.00773788	1716805
velev-pipe-sat-1.0-b7.cnf	? (exit code)	0.006998	0.00760398	1723173
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (exit code)	0.006998	0.00696191	1560147
industrial/fuhs/hard/ AProVE07-27.cnf	? (exit code)	0.006998	0.00694302	1717117
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (exit code)	0.006998	0.00703709	1560407
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (exit code)	0.006998	0.00689992	1560459
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (exit code)	0.006998	0.0067639	1560667
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (exit code)	0.006998	0.00696804	1560927
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (exit code)	0.006998	0.00753392	1559939
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	0.006998	0.00687798	1716909
velev-pipe-sat-1.0-b10.cnf	? (exit code)	0.006998	0.00742792	1723329
velev-pipe-o-uns-1.0-7.cnf	? (exit code)	0.007998	0.00810893	1723901
industrial/fuhs/hard/ AProVE07-08.cnf	? (exit code)	0.007998	0.00693802	1716961
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (exit code)	0.007998	0.00702495	1560823
velev-pipe-o-uns-1.1-6.cnf	? (exit code)	0.008998	0.00791293	1723589
velev-pipe-uns-1.0-8.cnf	? (exit code)	0.008998	0.00769096	1724421
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	0.012997	0.013017	1717689
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (exit code)	0.013997	0.0142139	1717481
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	0.015996	0.0171369	1717585
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (exit code)	0.015996	0.0153609	1717637
cmu-bmc-barrel6.cnf	? (exit code)	0.017997	0.018378	1719561
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	0.017997	0.017816	1717533
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (exit code)	0.020996	0.0212959	1717897
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	0.021995	0.021734	1717429
velev-live-uns-2.0-ebuf.cnf	? (exit code)	0.024995	0.0252621	1723693
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (exit code)	0.026995	0.0277709	1717325
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (exit code)	0.028995	0.029821	1719197
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (exit code)	0.028995	0.0295441	1719093
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (exit code)	0.028995	0.029555	1718989
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (exit code)	0.029995	0.030988	1718885
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (exit code)	0.029995	0.0295509	1718937
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (exit code)	0.030994	0.0367091	1719041
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (exit code)	0.030995	0.0312911	1719145
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (exit code)	0.030995	0.0313989	1719301
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (exit code)	0.031994	0.032333	1719249
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (exit code)	0.064989	0.0657169	1717377
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (exit code)	0.067989	0.0688071	1717169
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	0.075987	0.0761741	1719717
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	0.082986	0.0824271	1723797
velev-engi-uns-1.0-4nd.cnf	? (exit code)	0.104983	0.106054	1720133
goldb-heqc-x1mul.cnf	? (exit code)	0.108982	0.108631	1719457
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (exit code)	0.135978	0.136346	1560095
goldb-heqc-i10mul.cnf	? (exit code)	0.149977	0.150513	1723433
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (exit code)	0.175972	0.175941	1559783
schup-l2s-guid-1-k56.cnf	? (exit code)	0.423935	0.423338	1724109
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (exit code)	2.33464	2.33582	1563631
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (exit code)	2.52162	2.52194	1563319
goldb-heqc-term1mul.cnf	? (exit code)	91.5141	91.5397	1723641

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	Signal 11	0.142977	0.143837	1554115
APPLICATIONS/bitverif/ minor/minor032.cnf	Signal 11	0.160975	0.16159	1553231
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	Signal 11	0.167973	0.167985	1554583
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	Signal 11	0.169973	0.170604	1556039
cmu-bmc-longmult15.cnf	Signal 11	0.203968	0.205354	1720653
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	Signal 11	0.250961	0.249845	1554167
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	Signal 11	0.32095	0.329273	1555051
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	Signal 11	0.549916	0.577722	1556091
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	Signal 11	0.561913	0.852807	1554427
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	Signal 11	0.813876	0.814302	1555259
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	Signal 11	1.41179	1.41247	1554687
APPLICATIONS/bitverif/ smulo/smulo016.cnf	Signal 11	2.25066	2.26545	1554843
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	Signal 6	3.08953	3.09191	1555467
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	Signal 11	3.09253	3.09461	1556351
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	Signal 11	8.95964	8.9649	1722823
APPLICATIONS/ bitverif/minand/minand128.cnf	Signal 11	9.35458	9.35774	1554219
APPLICATIONS/ bitverif/minxor/minxor128.cnf	Signal 11	10.7484	10.7512	1553491
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	Signal 11	82.2675	82.2895	1718261
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	Signal 11	84.3292	84.3672	1722473
goldb-heqc-frg1mul.cnf	Signal 11	172.924	172.967	1719665
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	Signal 11	574.145	574.282	1718157
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	Signal 6	976.043	976.349	1718313

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.037993	0.038138	1734223
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.039993	0.043199	1734123
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.040993	0.04115	1734373
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.044992	0.0434411	1733023
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.044992	0.0450209	1734173
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.047991	0.0486991	1734473
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.049991	0.0500609	1734423
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.049991	0.050539	1734323
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.051991	0.0528811	1734573
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.051991	0.0524331	1736173
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.05499	0.0551921	1734273
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.05899	0.0578449	1734623
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.063989	0.065345	1734523
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.070988	0.0715489	1736223
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.12398	0.124118	1738121
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.133978	0.134283	1732673
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	0.440932	0.441182	1732373
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	0.476927	0.477489	1738280
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.537917	0.538899	1732873
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	2.07868	2.07967	1733123
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	2.74558	2.74753	1735273
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	2.91056	2.91148	1735123
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	5.57315	5.57638	1734773
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	6.07008	6.0813	1732923
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	7.52685	7.5292	1735323
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	9.93549	9.9391	1736023
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	21.9577	21.9624	1732473
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	46.7759	46.7887	1732323
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	58.2951	58.318	1562019
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	93.4858	93.5272	1561707
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	179.79	179.838	1732623
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	180.839	181.767	1561811
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	337.662	337.749	1562383
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	341.824	341.944	1732573
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	491.801	491.948	1732423
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	728.232	728.467	1561447
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	809.68	809.905	1725691
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	1055.49	1055.79	1725638

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729401
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729083
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.01	1200.41	1732023
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.01	1200.41	1731973
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1729825
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1731627
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1731415
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1725267
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.02	1200.31	1735973
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1726327
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1726751
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.02	1200.31	1737023
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.02	1200.41	1734723
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.02	1200.81	1727652
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.02	1200.51	1731923
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.02	1200.62	1729507
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1726645
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.03	1200.81	1732273
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.03	1200.61	1732823
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1730938
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.03	1200.41	1732973
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.03	1200.31	1733223
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.03	1206.01	1562123
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.03	1200.41	1732523
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1726804
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.04	1200.42	1727440
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.04	1200.41	1732123
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727016
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.05	1200.41	1737273
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726062
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1726592
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.05	1200.53	1726963
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.05	1200.51	1737591
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.05	1200.41	1731873
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1731680
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.05	1200.41	1733373
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729878
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.05	1200.41	1732223
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730514
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.05	1200.51	1732173
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728924
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.05	1200.41	1736473
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729242
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1730196
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.06	1200.62	1727228
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1730885
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725850
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730991
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736273
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.06	1200.41	1731823
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728818
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726698
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.06	1200.91	1726433
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731203
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.06	1200.41	1735473
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727175
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.06	1200.41	1562227
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.06	1200.41	1737485
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729348
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.06	1200.51	1734023
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.06	1200.41	1736523
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727758
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728023
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729454
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728129
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1730355
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729772
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1728606
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729030
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.07	1200.41	1736673
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726539
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.07	1207.01	1560979
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.07	1200.41	1736973
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.07	1200.41	1737326
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730461
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1727864
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731309
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726009
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.07	1199.91	1726486
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728871
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726857
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1728288
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.08	1200.51	1736923
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.08	1200.51	1561655
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.08	1200.41	1561551
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.08	1200.53	1725320
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1725373
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1725532
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726115
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726910
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1727334
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.08	1200.71	1727122
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1727069
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728977
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729560
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.08	1200.51	1733423
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.51	1736623
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.08	1200.61	1737432
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.08	1200.51	1737123
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.09	1200.41	1562487
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.09	1200.41	1562435
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.09	1200.41	1735673
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.09	1210.91	1726380
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.09	1200.52	1733173
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.09	1200.81	1734823
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731150
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.09	1200.41	1732073
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731044
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.09	1200.42	1733773
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1727281
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728659
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728765
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731574
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1725797
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725426
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728182
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729613
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730408
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728500
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.1	1200.53	1730037
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1729666
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729189
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728712
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728553
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1727917
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.1	1200.62	1733323
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.1	1200.42	1733723
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.1	1200.41	1733923
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.1	1200.52	1727387
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726168
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.1	1200.41	1561135
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.1	1200.51	1561291
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.1	1200.41	1737644
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.1	1200.61	1737697
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.1	1200.41	1562279
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.11	1200.51	1737538
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.11	1200.44	1727493
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.11	1200.71	1735573
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.11	1200.41	1735623
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.11	1200.63	1727599
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.11	1200.41	1736723
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.11	1200.51	1736323
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729984
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1730090
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.11	1200.51	1736823
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1725744
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.11	1200.41	1561343
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.11	1200.74	1727546
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (TO)	1200.11	1200.41	1561759
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.11	1200.41	1562175
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.11	1200.51	1737223
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1730779
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1731521
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.11	1200.51	1734873
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.12	1200.51	1736573
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.12	1200.51	1728447
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.12	1200.43	1729931
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.12	1200.41	1737379
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.15	1200.75	1732773

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (exit code)	0.005998	0.00674389	1728394
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	? (exit code)	0.006998	0.00783405	1561915
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (exit code)	0.006998	0.00788689	1561239
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (exit code)	0.006998	0.0075401	1561187
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (exit code)	0.006998	0.00729699	1561395
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (exit code)	0.006998	0.00740295	1561499
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (exit code)	0.007997	0.00822199	1561967
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (exit code)	0.007998	0.00776708	1561083
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (exit code)	0.007998	0.0143339	1562591
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (exit code)	0.007998	0.00783196	1562331
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (exit code)	0.008997	0.00951004	1730673
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (exit code)	0.008997	0.00763308	1562071
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (exit code)	0.008998	0.00780704	1562539
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (exit code)	0.010998	0.011392	1730249
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (exit code)	0.012997	0.01302	1728076
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (exit code)	0.013997	0.0146339	1728341
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (exit code)	0.113982	0.114567	1730726
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (exit code)	0.284956	0.284878	1738174
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (exit code)	0.474927	0.4749	1737803
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (exit code)	0.505922	0.505325	1737750
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (exit code)	0.560914	0.561728	1737856
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (exit code)	0.570913	0.571475	1737962
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (exit code)	0.642901	0.643247	1738333
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (exit code)	0.852869	0.853032	1738015
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (exit code)	0.91386	0.921652	1737909
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (exit code)	1.21381	1.21483	1738227
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (exit code)	1.42778	1.42791	1735423
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (exit code)	2.45863	2.45921	1730302
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (exit code)	2.87556	2.87698	1738068
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (exit code)	3.58145	3.58213	1735173
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (exit code)	3.59945	3.59906	1725956
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (exit code)	3.67844	3.68017	1730143
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (exit code)	4.28135	4.28319	1734923
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (exit code)	5.21321	5.49823	1738386
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (exit code)	5.9151	5.91671	1735873
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (exit code)	7.96779	7.97079	1735773
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (exit code)	11.2113	11.2134	1735373
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (exit code)	18.1292	18.1324	1735923
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (exit code)	30.5764	30.5859	1735023
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (exit code)	63.0584	63.0795	1735523
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (exit code)	64.1273	64.1471	1736123
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (exit code)	104.568	104.6	1735723
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (exit code)	378.486	378.69	1736073
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (exit code)	906.004	906.232	1561031

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	Signal 11	0.119981	0.120143	1736873
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	Signal 6	0.12598	0.126871	1726274
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	Signal 11	0.128979	0.129301	1731256
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	Signal 11	0.132979	0.133133	1730620
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	Signal 6	0.132979	0.133436	1726221
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	Signal 11	0.141977	0.143129	1729136
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	Signal 11	0.143977	0.145154	1729295
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	Signal 11	0.146977	0.147699	1725903
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	Signal 11	0.160975	0.161481	1728235
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	Signal 11	0.166974	0.168252	1731097
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	Signal 11	0.199968	0.199388	1730567
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	Signal 11	0.222965	0.223247	1736423
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	Signal 11	0.239963	0.239823	1737073
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	Signal 11	1.88471	1.8844	1730832
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	Signal 11	3.2895	3.29071	1733673
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	Signal 11	4.41633	4.41852	1725585
CRAFTED/ramseycube/ Q32inK09.cnf	Signal 11	4.88726	5.12282	1733073
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	Signal 11	4.99024	4.99256	1727705
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	Signal 11	6.11707	6.11912	1725479
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	Signal 11	6.12207	6.12374	1736373
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	Signal 11	6.93894	6.9414	1735073
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	Signal 11	7.79781	7.80092	1734673
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	Signal 11	9.8355	9.83835	1735223
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	Signal 11	10.3364	10.3397	1734973
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	Signal 11	13.5609	13.5643	1733523
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	Signal 11	14.2568	14.2623	1733273
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	Signal 11	23.3774	23.3858	1733873
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	Signal 11	24.7752	24.785	1733973
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	Signal 11	28.1837	28.2068	1733623
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	Signal 11	30.2984	30.3101	1734073
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	Signal 11	31.6362	31.6587	1733473
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	Signal 11	44.2833	44.2934	1733573
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	Signal 11	54.0058	54.0198	1731362
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	Signal 11	75.7435	75.7695	1731468
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	Signal 6	87.5837	87.626	1733823
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	Signal 11	189.562	189.63	1727811
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	Signal 11	341.515	341.596	1729719
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	Signal 11	466.439	466.561	1736773
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	Signal 11	712.937	713.189	1735823
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	Signal 11	749.925	750.129	1727970

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.035993	0.037068	1543033
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.035994	0.0361401	1543309
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.036993	0.038152	1542979
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.037993	0.0386061	1543123
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.038993	0.0393809	1543171
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.038993	0.039145	1542811
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.038993	0.0395271	1543237
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.038993	0.04135	1542823
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.039992	0.0393349	1543285
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.039992	0.0412051	1543039
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.039993	0.0401901	1541371
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.039993	0.0404311	1543267
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.039993	0.041024	1543003
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.040992	0.0412179	1543339
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.040993	0.0408229	1543177
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.041992	0.042046	1542829
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.041993	0.0420731	1543069
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.041993	0.0427449	1541479
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.042992	0.043417	1542877
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.042993	0.0430151	1542817
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.042993	0.042825	1542781
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.042993	0.043952	1543225
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.043992	0.044473	1542775
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.043992	0.044598	1541443
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.044992	0.0453039	1543273
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.044992	0.045257	1543027
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.045992	0.0480941	1543261
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.045992	0.0462189	1543111
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.046992	0.047483	1541305
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.047991	0.048646	1542997
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.047992	0.0474991	1543213
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.049991	0.0504781	1542931
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.049991	0.0503799	1543015
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.050991	0.0510661	1543243
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.050991	0.0515671	1542949
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.051991	0.052567	1542955
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.051991	0.0522341	1541467
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.053991	0.054334	1541395
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.05499	0.0551389	1541347
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.054991	0.056138	1543093
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.05599	0.0563431	1543009
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.055991	0.056365	1541323
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.05699	0.0570491	1542853
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.05699	0.057785	1541335
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	0.05799	0.0584841	1541491
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.05899	0.059279	1542715
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.05999	0.060845	1542895
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.06099	0.061469	1541329
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.06199	0.061903	1543315
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.062989	0.0630349	1542769
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.06299	0.062888	1541533
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.06399	0.0645089	1542805
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.064989	0.0650921	1543021
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	0.064989	0.0642491	1541995
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.067989	0.0683661	1543321
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.068988	0.069572	1543255
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.069988	0.0708359	1541449
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.070988	0.0710049	1543141
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.071988	0.0730949	1543291
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.072988	0.0738281	1542703
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.075988	0.0762049	1541377
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.076987	0.0774979	1543297
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.077987	0.0776139	1541407
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.078987	0.0788821	1541413
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.079987	0.0805221	1542907
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.083986	0.0837209	1543231
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.086986	0.087092	1541389
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.088985	0.0921321	1543207
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.089985	0.089483	1541425
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.090985	0.0910891	1542721
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.090985	0.0909729	1542901
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.091985	0.092704	1541383
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.097984	0.0983431	1541437
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.098984	0.0993351	1542985
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.099984	0.100028	1542727
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.106982	0.107228	1541515
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.106983	0.106933	1541365
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.110982	0.111747	1542961
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.117981	0.118035	1541341
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.123981	0.124789	1543333
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.12498	0.128373	1543183
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.12698	0.127633	1543153
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.12798	0.128764	1542883
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.137978	0.136573	1543105
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.137978	0.136499	1542925
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.138978	0.1381	1542967
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.144977	0.145148	1541539
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.152976	0.152972	1542763
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.153975	0.152885	1543081
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.154976	0.165813	1543063
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.155975	0.156622	1543087
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.166974	0.166738	1543135
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.172973	0.171987	1542835
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.185971	0.186898	1542937
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.19197	0.192844	1543165
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.207967	0.206663	1543219
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.246962	0.247667	1541473
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.251961	0.254543	1542973
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.251961	0.262595	1540549
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.268958	0.269736	1542871
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.277956	0.278577	1543147
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.277957	0.278284	1541497
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.280956	0.281836	1543303
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.285956	0.286265	1542841
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.290955	0.293902	1542691
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.290955	0.290101	1541419
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.305953	0.306096	1542799
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.349946	0.349984	1543195
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.366943	0.367627	1542793
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.368943	0.379845	1540525
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.368943	0.370426	1542991
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.374942	0.375694	1541803
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	0.376942	0.377292	1542697
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	0.376942	0.376863	1541509
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.377941	0.377955	1542919
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.393939	0.394874	1542889
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	0.394939	0.39529	1541929
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.407937	0.408764	1541785
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.410936	0.420434	1540567
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.433933	0.434844	1543189
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.441932	0.444637	1541461
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.462929	0.462997	1543099
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.473927	0.474936	1542847
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	0.478926	0.479745	1541353
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.479926	0.479765	1541503
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.496923	0.497523	1543129
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	0.510921	0.536775	1540867
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.58391	0.584971	1541947
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.592909	0.592507	1541359
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.616905	0.616815	1542751
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.6519	0.652029	1541401
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	0.661898	0.66215	1541863
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	0.689894	0.690126	1541911
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.748885	0.749178	1541317
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.752885	0.753177	1542745
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.757884	0.767265	1543249
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	0.812875	0.813359	1541521
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.859868	0.861018	1543075
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.861868	0.862137	1542733
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	0.882864	0.881898	1541791
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.883864	0.884879	1543057
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	1.00285	1.00251	1542757
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	1.00485	1.01033	1543051
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	1.07184	1.07235	1542019
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	1.07384	1.07501	1541953
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	1.08583	1.08548	1542787
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	1.11083	1.11163	1541431
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	1.11583	1.11673	1543201
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	1.19082	1.19126	1543045
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	1.20282	1.20398	1542709
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	1.27381	1.27451	1542685
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	1.3058	1.30675	1542739
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	1.3058	1.30656	1541809
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	1.47178	1.47266	1543327
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	1.55076	1.55024	1542859
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	1.67174	1.68144	1540543
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	1.78073	1.80746	1540849
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	1.83672	1.84468	1541659
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	1.86172	1.86325	1541893
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	1.89871	1.89822	1541941
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	1.92271	1.92405	1541797
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	2.01569	2.01645	1541857
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	2.20066	2.2018	1541311
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	2.21766	2.21884	1541887
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	2.38764	2.38828	1542001
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	2.38964	2.42996	1540759
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	2.39764	2.40026	1541839
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	2.39963	2.40067	1541485
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	2.5946	2.60555	1540561
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	2.69359	2.71974	1540837
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	2.77658	2.7866	1540537
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	2.93255	2.93241	1541833
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	3.06853	3.07	1541641
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	3.38249	3.38356	1541821
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	3.55846	3.56086	1541977
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	3.61845	3.62968	1540531
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	3.62745	3.63786	1540555
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	3.72143	3.72972	1541923
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	3.90141	3.90227	1541875
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	4.17037	4.17233	1541527
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	4.99924	5.00273	1541815
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	5.07923	5.08106	1541845
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	5.14522	5.18689	1540735
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	5.21121	5.23477	1540861
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	5.38518	5.38679	1541869
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	5.53916	5.54177	1541935
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	5.63314	5.6599	1540879
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	5.82211	5.8556	1540717
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	5.9501	5.95195	1542913
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	6.13906	6.19503	1540669
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	6.22205	6.22252	1541983
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	6.30804	6.30938	1541971
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	6.43602	6.43901	1541731
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	6.80196	6.80396	1541881
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	6.85096	6.8534	1543159
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	7.8968	7.89935	1541959
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	9.04962	9.05086	1543117
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	9.28859	9.34565	1540645
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	10.9043	10.9094	1541917
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	11.5062	11.5352	1540855
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	11.8962	11.899	1541905
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	12.0942	12.1235	1540843
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	14.7548	14.7607	1541851
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	15.7986	15.8044	1542013
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	16.5985	16.6037	1542007
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	17.1024	17.1616	1540663
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	18.5112	18.5539	1540711
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	19.716	19.731	1540579
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	19.956	20.0565	1540813
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	20.006	20.0501	1540747
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	20.4539	20.5292	1540621
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	20.5839	20.5947	1540183
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	20.7378	20.7433	1542943
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	21.5937	21.6555	1540693
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	22.5466	22.5521	1541965
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	22.8595	22.8691	1541899
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	24.1683	24.2111	1540741
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	24.2843	24.3175	1540873
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	24.3853	24.4577	1540633
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	24.9922	25.068	1540591
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	28.6476	28.7123	1540657
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	28.7216	28.7278	1541989
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	29.4025	29.5213	1540897
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	32.0391	32.1734	1540987
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	32.4621	32.4739	1540159
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	35.3396	35.3506	1542865
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	35.9845	36.0651	1540639
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	36.1335	36.1472	1541695
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	42.7815	42.8795	1541029
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	43.0575	43.195	1540981
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	45.824	45.8915	1540651
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	SAT	61.4797	61.6414	1540975
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	SAT	67.4987	67.5753	1541041
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	69.0665	69.1837	1540777
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	70.8872	70.9098	1540495
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	75.7745	75.8788	1540597
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	79.5629	79.707	1540885
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	82.7604	82.7884	1540195
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	83.8213	83.9281	1541035
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	94.7086	94.8536	1540909
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	99.0149	99.0421	1540207
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	99.5519	99.7112	1540969
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	104.007	104.151	1540939
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	SAT	108.208	108.36	1540915
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	110.221	110.304	1540675
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	114.793	114.958	1540819
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	SAT	120.281	120.427	1540933
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	124.534	124.635	1540603
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	128.224	128.317	1540723
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	129.15	129.295	1541005
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	129.77	129.819	1540483
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	130.207	130.255	1540573
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	131.858	131.952	1540681
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	135.936	135.988	1540219
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	SAT	154.741	154.858	1541011
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	164.084	164.169	1540003
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	175.686	175.732	1540585
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	190.144	190.33	1540927
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	SAT	191.982	192.154	1540993
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	195.036	195.093	1540471
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	199.026	199.097	1539985
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	218.764	218.831	1540189
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	SAT	220.698	221.055	1541053
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	SAT	233.642	233.73	1540921
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	235.814	235.939	1540699
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	242.659	242.842	1540705
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	245.168	245.317	1541059
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	262.167	262.239	1540213
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	SAT	277.954	278.109	1540615
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	SAT	280.723	280.929	1540957
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	SAT	292.652	292.871	1540963
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	308.164	308.269	1540831
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	SAT	330.587	330.793	1540903
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	363.789	363.96	1540627
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	SAT	389.815	390.017	1540789
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	400.697	400.817	1541743
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	406.757	406.916	1540753
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	421.625	421.753	1539997
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	SAT	426.955	427.187	1540801
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	SAT	436.545	436.788	1540951
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	SAT	441.82	442.058	1540999
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	493.149	493.276	1540201
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	507.72	507.913	1540609
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	530.477	530.623	1540141
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	592.577	592.792	1540405
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	SAT	593.45	593.739	1540795
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	SAT	684.16	684.43	1541017
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	798.947	799.222	1540177
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	899.249	899.506	1540441
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	SAT	925.158	925.631	1540369
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	SAT	938.438	938.821	1540891
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	991.762	992.059	1540147
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	1051.09	1051.45	1540477
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	1061.48	1061.86	1540027
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	1064.09	1064.4	1540513
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	1073.21	1073.53	1540501
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	1118.81	1119.09	1540519
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	SAT	1151.92	1152.42	1540783

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	Signal 11	0.679896	0.679973	1541233
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	Signal 6	0.686894	0.686763	1543279
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	Signal 11	0.871866	0.873555	1541827
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	Signal 11	2.09368	2.09481	1541143
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	Signal 11	4.05338	4.05587	1541089
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	Signal 11	5.67314	5.68632	1542241
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	Signal 11	8.13576	8.13887	1541455
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	Signal 11	8.29274	8.31016	1541263
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	Signal 11	10.5804	10.5829	1541707
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	Signal 11	11.9342	11.9375	1541251
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	Signal 11	13.6009	13.6056	1542409
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	Signal 11	14.1668	14.1709	1541701
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	Signal 6	15.3977	15.401	1542679
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	Signal 11	26.21	26.2322	1541629
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	Signal 11	29.6625	29.6744	1541581
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	Signal 11	31.1123	31.1272	1541131
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	Signal 11	31.2552	31.2807	1541677
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	Signal 11	31.8982	31.9117	1541587
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	Signal 11	32.848	32.8571	1541689
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	Signal 11	45.4231	45.4354	1541593
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	Signal 11	48.9606	48.9744	1542583
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	Signal 11	51.9541	51.9688	1541575
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	Signal 11	53.2019	53.2153	1541545
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	Signal 11	54.0828	54.0987	1541275
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	Signal 11	59.5569	59.5731	1541551
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	Signal 11	94.9906	95.0134	1541179
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	Signal 11	119.794	119.843	1541065
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	Signal 11	122.523	122.558	1541713
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	Signal 11	133.454	133.437	1541773
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	Signal 11	144.685	144.74	1541605
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	Signal 11	162.319	162.365	1541101
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	Signal 11	197.177	197.247	1541719
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	Signal 11	208.321	208.392	1542391
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	Signal 11	210.705	210.766	1541245
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	Signal 11	257.725	257.91	1541197
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	Signal 11	259.45	259.527	1541281
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	Signal 11	275.603	275.683	1541653
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	Signal 11	311.225	311.33	1541647
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	Signal 11	327.895	328.036	1541671
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	Signal 11	333.69	333.772	1541557
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	Signal 11	437.624	438.241	1541569
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	Signal 11	475.916	476.041	1541683
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	Signal 11	566.622	566.833	1541155
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	Signal 11	570.005	570.158	1541779
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	Signal 11	626.255	626.449	1541287
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	Signal 11	800.681	800.975	1541737
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	Signal 6	854.241	854.565	1542475
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	Signal 11	887.971	888.311	1541611
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	Signal 11	950.54	951.183	1541665
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	Signal 11	1054.18	1054.5	1542217

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

Result page for solver hybridGM7 7 (incomplete)

Category "applications instances" (APPLICATION)

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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

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

Category "random instances" (RANDOM)

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

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

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