PB'26 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb	UNSAT	0.036624	0.118318	4791799
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-122.cudf.trendy.opb	UNSAT	0.054089	0.146468	4791785
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand03b0b5.cudf.paranoid.opb	UNSAT	0.083552	0.152149	4791806
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-randab5933.cudf.paranoid.opb	UNSAT	0.08416	0.150176	4791820
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-519.cudf.paranoid.opb	UNSAT	0.10176	0.164873	4791855
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-520.cudf.trendy.opb	UNSAT	0.109319	0.171606	4791771
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb	UNSAT	0.114099	0.188246	4791827
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1238.cudf.paranoid.opb	UNSAT	0.11658	0.181661	4791883
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-1243.cudf.trendy.opb	UNSAT	0.121692	0.184271	4791778
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randb3c96d.cudf.trendy.opb	UNSAT	0.17139	0.259696	4791715
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=379-Q=521.opb	UNSAT	132.46	132.773	4790728
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ns1686196.opb	UNSAT	601.819	603.63	4792933
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat25_6_3_3_ic.opb	UNSAT	604.198	606.971	4792198
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-oct4.5.opb	UNSAT	869.356	871.814	4792513

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb	OPT	-1073741823	0.039305	0.186231	4790385
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=10.opb	OPT	0	0.142453	0.392327	4792800
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-enlight8.mps.opb	OPT	27	0.454464	0.640675	4817524
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3572885-glina.mps.opb	OPT	0	15.5808	15.7754	4817560
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_04_200_176.opb	OPT	0	15.7796	16.1058	4793395
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb	OPT	-12	32.1893	32.3065	4792611
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_50_001.opb	OPT	-406	36.8128	36.9769	4793010
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb	OPT	0	36.9232	37.1443	4805456
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb	OPT	4	39.6421	39.8043	4791869
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb	OPT	0	49.4226	49.6422	4805561
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g2x2.opb	OPT	2	52.0355	52.2629	4790686
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb	OPT	-1428	69.6208	70.1652	4804581
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-hmittelman.lin.opb	OPT	13	73.2351	73.4796	4792632
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-5_10.opb	OPT	3951	78.9273	79.1502	4791183
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-6_12.opb	OPT	5867	79.6945	79.9167	4791162
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb	OPT	-10	84.4725	84.6699	4806121
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb	OPT	-64	84.6153	84.9385	4805806
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.opb	OPT	-4	85.3125	85.5174	4805841
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-7_14.opb	OPT	5148	87.4585	87.6755	4791176
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_05.opb	OPT	-4	90.7548	90.9825	4806016
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_170_002.opb	OPT	-3776	95.2753	95.5437	4793066
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb	OPT	-3	95.3614	95.6752	4805981
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb	OPT	-1404	96.7215	97.3799	4804896
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x3.opb	OPT	7	97.1343	97.3965	4790700
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-8_16.opb	OPT	5852	97.2037	97.469	4791169
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb	OPT	8034	99.3857	99.6131	4791190
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g7x7.opb	OPT	12	100.725	101.005	4790693
PB24/normalized-PB07/OPT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb	OPT	8908	100.864	101.138	4791155
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g4x4.opb	OPT	4	105.314	105.597	4790707
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ logic_synthesis/normalized-m50_100_10_10.r.opb	OPT	8	125.77	126.083	4791127
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g9x9.opb	OPT	20	130.534	130.941	4790679
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir01_trarea_ac.opb	OPT	13949	133.934	134.297	4791260
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb	OPT	9663726592	140.024	140.91	4790378
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=101-Q=379.opb	OPT	101	147.128	147.558	4790763
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=47-Q=197.opb	OPT	47	147.177	147.624	4790756
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=67-Q=223.opb	OPT	67	149.317	149.674	4790770
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=251-Q=379.opb	OPT	251	153.452	153.923	4790721
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb	OPT	-32113	208.668	209.535	4804686
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__8.opb	OPT	46877	215.836	216.302	4791421
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ similar_weights/normalized-knapPI_9_100_1000_2_-997.opb	OPT	-997	216.626	217.407	4804651
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir02_trarea_ac.opb	OPT	24890	220.706	221.312	4791274
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r32_c64_a5.opb	OPT	12192	232.893	233.435	4806191
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=89-Q=317.opb	OPT	89	234.958	235.474	4790784
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb	OPT	-74	266.882	267.828	4805911
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb	OPT	-4652	289.954	291.125	4804721
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir03_trarea_ac.opb	OPT	23978	294.919	295.842	4791267
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb	OPT	-3990	314.596	315.519	4804616
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-bbara.r.opb	OPT	7	316.161	316.868	4791120
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-8000opt.opb	OPT	-76	319.844	320.995	4791589
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb	OPT	6	325.242	325.855	4791092
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-9000opt.opb	OPT	-79	332.689	333.82	4791582
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__8.opb	OPT	95378	337.545	338.519	4791456
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_95.opb	OPT	-94	348.909	349.879	4805946
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir02_area_opers.opb	OPT	18	356.026	357.083	4791309
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb	OPT	344750	360.21	361.478	4790371
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__16.opb	OPT	45008	386.651	387.748	4791407
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_260_002.opb	OPT	-7473	404.595	405.774	4793031
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-7000opt.opb	OPT	-68	429.783	431.281	4791554
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-750-false-45-90-4-6000opt.opb	OPT	-74	433.639	434.931	4791561
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-1000opt.opb	OPT	-178	527.869	529.754	4791547
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_004.opb.metafix.opb	OPT	32	600.025	601.316	4792534
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_008.opb.metafix.opb	OPT	85	600.026	601.499	4792562
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_008.opb.metafix.opb	OPT	50	600.027	601.371	4792548
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_002.opb.metafix.opb	OPT	42	600.027	601.286	4792569
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_009.opb.metafix.opb	OPT	70	600.027	601.474	4792527
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb	OPT	36	600.027	601.461	4790581
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb	OPT	100	600.028	601.225	4790518
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_16x16_006.opb.metafix.opb	OPT	115	600.028	601.449	4792576
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir05_area_partials.opb	OPT	36	600.029	601.688	4791323
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_12x12_008.opb.metafix.opb	OPT	72	600.03	601.429	4792520
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb	OPT	36	600.03	601.295	4790616
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb	OPT	36	600.031	601.522	4790574
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_8x8_000.opb.metafix.opb	OPT	30	600.031	601.583	4792583
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.5:100.opb	OPT	3	600.032	601.527	4790189
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb	OPT	36	600.034	601.064	4790595
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_10x10_007.opb.metafix.opb	OPT	47	600.035	601.507	4792555
PB24/normalized-PB15eval/OPT-LIN/dt-problems/ normalized-lo_14x14_006.opb.metafix.opb	OPT	95	600.037	601.758	4792541
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb	OPT	36	600.037	601.421	4790553
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb	OPT	90	600.038	601.305	4806821
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/logic_synthesis/normalized-ricks.r.opb	OPT	5	600.038	601.489	4791113
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/area_partials/normalized-fir07_area_partials.opb	OPT	33	600.038	601.366	4791316
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb	OPT	62	600.042	601.496	4790560
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-4.opb	OPT	350	600.042	601.4	4790483
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f18-AC1Loss.seq-A-2-2-irabcde.opb	OPT	7552	600.044	601.535	4792779
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb	OPT	1567	600.046	601.526	4790651
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb	OPT	60	600.047	601.403	4790588
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par8-5.opb	OPT	350	600.049	601.499	4790511
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb	OPT	33523448	600.05	601.533	4792793
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/ misc2010/datasets/caixa/normalized-902.cudf.trendy.opb	OPT	283030	600.051	601.33	4791792
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb	OPT	47342	600.052	601.893	4791281
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=8-t=2.opb	OPT	6	600.052	601.754	4792814
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb	OPT	1	600.052	601.365	4790175
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb	OPT	1053	600.054	601.451	4790658
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb	OPT	23133	600.056	601.385	4792744
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb	OPT	200	600.062	601.476	4790504
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb	OPT	60	600.062	601.335	4806646
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb	OPT	0	600.067	601.388	4790168
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb	OPT	21	600.069	601.004	4806541
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb	OPT	200	600.073	601.448	4790532
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb	OPT	304	600.08	602.11	4790112
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ4_3.opb	OPT	20	600.082	601.674	4790462
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb	OPT	-198938	600.088	601.513	4792786
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=2.opb	OPT	8	600.089	602.781	4792828
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh209.opb	OPT	93	600.093	601.229	4790546
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb	OPT	0	600.097	602.54	4790126
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb	OPT	66733263	600.097	601.806	4792772
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh220.opb	OPT	94	600.098	601.257	4790539
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb	OPT	1	600.098	601.545	4804931
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh1.opb	OPT	92	600.101	601.425	4790490
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f19-ACTotalLoss.seq-B-3-2-irEDCBA.opb	OPT	889889	600.104	601.701	4792758
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-jac3.opb	OPT	15	600.106	601.913	4790644
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb	OPT	1	600.107	602.065	4805036
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb	OPT	-5036	600.107	602.998	4804791
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb	OPT	1	600.127	601.602	4805106
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb	OPT	1	600.166	601.947	4805211
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=12-t=2.opb	OPT	10	600.17	602.349	4792821
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb	OPT	13718029	600.173	602.88	4792730
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data4_3.opb	OPT	8276	600.185	601.676	4790427
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb	OPT	1	600.202	602.223	4804966
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb	OPT	2	600.209	601.622	4791862
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb	OPT	344	600.24	601.867	4791813
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_17.opb	OPT	-72	600.241	602.189	4806891
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx60.opb	OPT	6	600.276	602.247	4791498
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx57.opb	OPT	6	600.287	602.568	4791519
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb	OPT	12	600.301	602.202	4792863
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb	OPT	84900802172	600.314	602.219	4791687
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb	OPT	6	600.315	602.338	4791876
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.smallist/normalized-rand49e642.cudf.trendy.opb	OPT	39641230	600.335	602.428	4791680
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb	OPT	800	600.35	602.026	4792989
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_18.opb	OPT	-81	600.358	602.642	4806926
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j301_3.std.opb	OPT	47	600.37	602.02	4791666
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb	OPT	27	600.375	602.28	4792702
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb	OPT	66	600.378	601.867	4790602
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3011_6.std.opb	OPT	44	600.382	602.296	4791652
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb	OPT	62	600.391	601.783	4790567
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=4.opb	OPT	7	600.398	602.58	4792807
PB24/normalized-PB06/OPT-LIN/ submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb	OPT	64	600.411	601.912	4790609
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb	OPT	41202	600.416	601.967	4791288
PB24/normalized-PB10/OPT-LIN/oliveras/ j30opt/normalized-j3046_4.std.opb	OPT	64	600.417	602.325	4791659
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb	OPT	29	600.429	602.368	4792709
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb	OPT	742	600.441	602.444	4792996
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb	OPT	26628312588	600.449	602.44	4792765
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_7.opb	OPT	25	600.467	602.132	4791141
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb	OPT	2642	600.473	602.199	4790105
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb	OPT	1	600.508	602.025	4805246
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb	OPT	31850906195	600.51	602.223	4791701
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb	OPT	568	600.573	602.671	4792975
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb	OPT	1	600.627	602.204	4790182
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb	OPT	24	600.631	602.471	4792723
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb	OPT	28830293738	600.633	602.406	4791708
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-gr17.opb	OPT	2085	600.67	601.799	4793241
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb	OPT	18540641211	600.68	602.641	4791694
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb	OPT	-39215	600.699	603.07	4804756
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j6018_6.std.opb	OPT	61	600.708	602.818	4791638
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx84.opb	OPT	8	600.76	603.128	4791484
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh217.opb	OPT	89	600.79	601.961	4790497
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx92.opb	OPT	9	600.804	602.965	4791512
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb	OPT	1678960413	600.841	602.723	4792737
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir07_trarea_ac.opb	OPT	50162	600.927	602.545	4791246
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb	OPT	1	600.93	602.82	4793122
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb	OPT	19435314071	600.963	603.132	4792751
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_13.opb	OPT	105	601.055	602.899	4807626
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb	OPT	30	601.07	603.747	4792695
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_030.opb	OPT	480	601.071	603.147	4807381
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb	OPT	376	601.103	603.235	4792982
PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j9026_10.std.opb	OPT	92	601.115	603.28	4791673
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb	OPT	101	601.139	602.583	4806506
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_19.opb	OPT	-9	601.374	602.966	4806051
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb	OPT	22	601.381	602.744	4791960
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12030_8.std.opb	OPT	79	601.403	603.197	4791631
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12035_8.std.opb	OPT	101	601.469	603.647	4791624
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/ 10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb	OPT	146152	601.516	603.205	4791841
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=7.opb	OPT	3	601.539	603.116	4792856
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/ misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb	OPT	146111	601.61	603.318	4791834
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/ datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb	OPT	142331	601.619	603.563	4791848
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-ns1688347.opb	OPT	27	601.715	603.699	4791925
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__32.opb	OPT	70998	601.755	603.653	4791449
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb	OPT	1	601.832	603.746	4793080
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb	OPT	7586846	601.931	603.985	4792121
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir06_trarea_ac.opb	OPT	33456	601.957	603.683	4791239
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb	OPT	47	601.982	604.531	4792688
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb	OPT	2	602.048	603.951	4793129
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b4.opb	OPT	376	602.067	604.097	4790525
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb	OPT	25	602.084	603.589	4791204
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=21-t=2.opb	OPT	19	602.457	605.1	4792842
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb	OPT	2	602.533	604.147	4793094
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:100.opb	OPT	2	602.611	604.809	4790147
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.5:100.opb	OPT	5	602.736	604.892	4790161
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:30:4.5:0.95:98.opb	OPT	4	602.853	605.204	4790133
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb	OPT	-53397	602.955	605.337	4804861
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i6_pp_88_merged.opb	OPT	348	603.053	605.268	4793003
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb	OPT	4822	603.108	604.538	4790665
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r17_c34_a6.opb	OPT	3417	603.311	604.989	4806471
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb	OPT	813	603.428	605.893	4790091
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb	OPT	7	603.727	605.979	4792443
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb	OPT	2784767898449	603.844	605.839	4791722
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb	OPT	3267737700236	604.207	606.314	4791757
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb	OPT	1164	604.457	606.304	4792961
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb	OPT	28	604.541	606.72	4791225
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-sonata.cudf.trendy.opb	OPT	2628047795598	604.583	606.765	4791764
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb	OPT	589	604.655	606.516	4792408
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-mono-gac.cudf.trendy.opb	OPT	2624366011833	604.731	606.51	4791736
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb	OPT	181	604.808	606.726	4806576
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb	OPT	47	604.837	606.537	4790623
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/9orless/normalized-kbd.cudf.trendy.opb	OPT	2703595984209	604.887	606.565	4791729
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/ datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb	OPT	2626215701395	604.982	606.788	4791750
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb	OPT	190	605.135	607.149	4805736
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb	OPT	4563	605.289	606.877	4806401
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/ 9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb	OPT	2624366011878	605.517	607.595	4791743
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r25_c50_a5.opb	OPT	7425	607.168	608.759	4806296
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_005_area_delay.opb	OPT	26	607.387	609.395	4791197
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r24_c48_a6.opb	OPT	6840	607.435	608.703	4806436
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/ normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb	OPT	-20	608.232	609.802	4806086
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.10-10.opb	OPT	7537	608.261	610.516	4792387
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb	OPT	41	608.357	610.212	4791008
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r30_c60_a4.opb	OPT	7140	608.803	610.488	4806261
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r26_c51_a5.opb	OPT	7803	609.945	611.198	4806366
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb	OPT	426	610.121	611.962	4806751
PB24/normalized-PB06/OPT-LIN/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb	OPT	34	610.233	612.036	4791064
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_080.opb	OPT	3280	610.304	612.148	4807451
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb	OPT	37	610.476	612.634	4791022
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-mini-06-2_c24.opb	OPT	5584	610.69	612.741	4793178
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb	OPT	44	610.817	612.621	4791043
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_10000_10000_4_-11456508.opb	OPT	-22951692	611.666	613.929	4804826
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb	OPT	226	611.958	613.512	4806611
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb	OPT	1	612.091	614.135	4805001
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.10.opb	OPT	49	612.145	614.278	4791029
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-10-4-20-0_c24.opb	OPT	10	612.772	614.769	4793171
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=8.opb	OPT	3	613.338	615.429	4792835
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__8.opb	OPT	60720	613.38	615.587	4791442
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb	OPT	2	613.548	614.999	4793101
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb	OPT	25	613.878	615.635	4791211
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb	OPT	2	614.011	615.661	4793108
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_delay/normalized-fir10_area_delay.opb	OPT	27	614.014	616.112	4791330
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb	OPT	2	614.443	616.112	4793136
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_008.opb	OPT	-14511	614.619	616.496	4793052
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb	OPT	50769	614.622	616.796	4791295
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-8.opb	OPT	15072	614.626	616.515	4792394
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_81.opb	OPT	688	615.484	617.787	4792940
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/ normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.opb	OPT	276	615.921	617.442	4805771
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb	OPT	115	616.134	618.739	4792667
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_007_area_delay.opb	OPT	26	616.241	617.783	4791218
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i1_pp_81.opb	OPT	688	616.456	618.79	4792947
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb	OPT	122	617.327	619.889	4792660
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb	OPT	126	617.558	620.197	4792681
PB24/normalized-PB10/OPT-LIN/oliveras/ j60opt/normalized-j605_4.std.opb	OPT	72	618.857	620.918	4791645
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.00.opb	OPT	34	619.208	620.938	4791050
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/ normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_100.opb	OPT	5000	620.727	622.731	4807206
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-unif-100_100.08.opb	OPT	34	620.888	622.726	4791036
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb	OPT	3521	621.201	623.47	4792436
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_901.opb	OPT	1	622.002	624.055	4805071
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_9_mh.opb	OPT	6925310	624.32	626.414	4792107
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__32.opb	OPT	95378	626.812	628.512	4791463
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb	OPT	42	630.481	632.326	4791015
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.95:100.opb	OPT	3	630.523	632.928	4790140
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb	OPT	1	631.645	633.527	4805141
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-nug08.opb	OPT	107	636.623	639.127	4790266
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_390_005.opb	OPT	-13158	638.764	640.594	4793017
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb	OPT	939	644.926	647.451	4790119
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r33_c66_a6.opb	OPT	12969	647.016	648.251	4806156
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb	OPT	70311	647.288	649.146	4791253
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-10.opb	OPT	25042	651.054	653.131	4792422
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-6.opb	OPT	27380	652.169	654.554	4792415
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-11.opb	OPT	4103	653.845	655.831	4792380
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/ normalized-linearized_pebbling_opt_layeredfan_down_r34_c67_a6.opb	OPT	13467	662.426	664.468	4806331
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/ normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.opb	OPT	9180	663.453	664.875	4806226
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_430_001.opb	OPT	-14973	673.944	675.804	4793038
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb	OPT	9	688.504	690.596	4790154
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb	OPT	38	698.924	701.263	4791001
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-9.opb	OPT	15407	716.887	719.598	4792401
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb	OPT	2218686	717.67	720.26	4792156
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb	OPT	-17711	722.733	724.96	4792289
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb	OPT	1	746.476	749.288	4805176
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb	OPT	4	749.645	751.903	4793115
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb	OPT	73649	751.534	754.04	4791232
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb	OPT	4323015	754.269	756.667	4792170
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb	OPT	2886748	757.212	759.801	4792184
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb	OPT	-486	760.956	763.271	4807136
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb	OPT	65	765.826	768.058	4790637
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb	OPT	9	773.529	775.483	4793143
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/ area_opers/normalized-fir09_area_opers.opb	OPT	34	776.316	778.551	4791302
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-9000opt.opb	OPT	-193	778.297	780.741	4791540
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=7.opb	OPT	6	786.405	789.174	4792849
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-7000opt.opb	OPT	-172	790.825	793.474	4791603
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_450_007.opb	OPT	-17798	794.717	797.457	4793073
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_7.opb	OPT	2965595	811.749	814.203	4792065
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb	OPT	-57924	833.093	835.851	4790084
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-2000opt.opb	OPT	-167	836.243	838.732	4791568
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-5000opt.opb	OPT	-169	839.974	842.566	4791596
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_150.opb	OPT	11400	861.664	864.368	4807486
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb	OPT	0	953.45	956.165	4792968
PB24/normalized-PB09/OPT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-10000opt.opb	OPT	-164	955.029	958.059	4791575
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_6.opb	OPT	4396639	984.788	987.729	4792009
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_38.opb	OPT	780	991.764	994.94	4807591
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-supportcase33.mps.opb	OPT	-69	1050.84	1053.67	4817272
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_39.opb	OPT	820	1131.98	1134.89	4807556
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb	OPT	976	1146.3	1149.74	4792954
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib3/normalized-nw04.opb	OPT	8431	1213.16	1216.87	4792870
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__2048.opb	OPT	45008	1239.76	1243.17	4791470
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-506428.opb	OPT	4	1282.84	1287.59	4792912
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_binary.opb	OPT	-383110	1288.48	1292.76	4790056
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-StillLife-09-12_c24.opb	OPT	-58	1321.88	1325.15	4793220
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_3_mh.opb	OPT	5107943	1345.25	1350.09	4792142
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_120.opb	OPT	7321	1384.11	1388.52	4805281
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb	OPT	20	1402.46	1406.64	4791386
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	OPT	-17712	1734.62	1740.61	4792373
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/ normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb	OPT	-600	1995.09	2003.4	4806856
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_50.opb	OPT	1326	2285.96	2290.97	4807696
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb	OPT	1	2627.04	2634.62	4790749
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb	OPT	5	2714.86	2724.11	4793087
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb	OPT	-80	2860.01	2868.34	4792604
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-3-0_c24.opb	OPT	6	3424.66	3435.64	4793227
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb	OPT	18	3531.46	3542.17	4791379

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2017/normalized-scpn2.opb	SAT	871	2539.98	2548.33	4792891
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb	SAT	162667	3266.84	3275.37	4793150
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_30.opb	SAT	0	3579.31	3595.18	4805491
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb	SAT	-40	3579.39	3595.47	4790259
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb	SAT	25	3579.78	3595.17	4791365
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_65.opb	SAT	-32	3579.89	3595.25	4805876
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb	SAT	41670	3580.04	3595.2	4790441
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb	SAT	-655	3580.26	3595.95	4790063
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb	SAT	1037	3580.3	3595.11	4790812
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb	SAT	48	3580.48	3595.34	4792485
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb	SAT	6102808	3580.53	3595.64	4792128
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb	SAT	22	3580.77	3595.17	4791358
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_6.opb	SAT	4549061	3581.29	3595.16	4792037
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb	SAT	-48196	3581.3	3595.92	4792324
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb	SAT	20	3581.33	3595.1	4791337
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-khb05250.opb	SAT	263409720477	3581.37	3595.87	4790392
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb	SAT	4457348	3581.78	3595.61	4792653
PB24/normalized-PB24/OPT-LIN/nordstrom/ MIPLIB01/opt/miplib2010/normalized-bab1.opb	SAT	-3854034	3581.83	3595.35	4792905
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb	SAT	67735	3581.85	3595.17	4790476
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb	SAT	1088284672	3581.97	3595.71	4790357
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb	SAT	63488	3582.01	3595.58	4790308
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-opm2-z12-s14.opb	SAT	-64108	3582.04	3595.41	4791939
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb	SAT	-56	3582.06	3595.14	4790196
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb	SAT	3205	3582.06	3595.29	4793353
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_0.opb	SAT	5063565	3582.06	3595.16	4792016
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-3.opb	SAT	3031	3582.08	3595.43	4790098
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-seymour.opb	SAT	423	3582.08	3595.13	4791953
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb	SAT	19	3582.08	3595.12	4791393
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb	SAT	1037	3582.1	3595.1	4790826
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb	SAT	123904	3582.21	3595.56	4790301
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb	SAT	-35	3582.24	3595.43	4790245
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-UMTS.opb	SAT	31492233	3582.3	3595.63	4790343
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb	SAT	24603521	3582.31	3595.43	4792275
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-ex1010-pi.opb	SAT	239	3582.32	3595.42	4792898
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos13.opb	SAT	-97605150	3582.32	3595.5	4790273
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-12-4-20-1_c24.opb	SAT	15	3582.33	3595.13	4793213
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb	SAT	20700291	3582.39	3595.57	4792282
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb	SAT	144	3582.43	3595.75	4790434
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb	SAT	179	3582.45	3595.54	4790896
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb	SAT	21	3582.45	3595.1	4791400
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb	SAT	22936649	3582.47	3595.47	4792247
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp97ic.opb	SAT	2799643389	3582.51	3595.53	4790350
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_42.opb	SAT	0	3582.51	3595.17	4805386
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-45_c24.opb	SAT	-77	3582.52	3595.53	4793206
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_ic.opb	SAT	34300669	3582.53	3595.57	4792268
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb	SAT	4816970126321	3582.55	3595.48	4790336
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb	SAT	1038	3582.57	3595.11	4790791
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_27.opb	SAT	0	3582.58	3595.1	4805701
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat100_4_32_2.opb	SAT	8150615	3582.59	3595.23	4792030
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb	SAT	-56	3582.6	3595.17	4790203
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_23.opb	SAT	0	3582.61	3595.14	4805526
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb	SAT	59	3582.63	3595.1	4791078
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb	SAT	21	3582.69	3595.14	4791351
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb	SAT	561	3582.7	3595.44	4807311
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb	SAT	98	3582.71	3595.13	4791085
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_710_002.opb	SAT	-31356	3582.72	3595.61	4793024
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb	SAT	182	3582.73	3595.44	4790903
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_2_ic.opb	SAT	16877301	3582.75	3595.63	4792191
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb	SAT	1037	3582.75	3595.14	4790840
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb	SAT	1036	3582.76	3595.1	4790833
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb	SAT	1653	3582.77	3595.67	4807276
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_064.opb	SAT	2112	3582.77	3595.74	4807346
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb	SAT	95	3582.82	3596.06	4792674
PB24/normalized-PB07/OPT-LIN/ submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb	SAT	24	3582.85	3595.23	4791344
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb	SAT	176	3582.9	3595.42	4790889
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb	SAT	29295143	3582.9	3595.56	4792226
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb	SAT	1036	3582.9	3595.1	4790798
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb	SAT	7168	3582.92	3595.41	4790413
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb	SAT	239	3582.99	3595.62	4790966
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb	SAT	211	3583	3595.58	4790952
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb	SAT	184	3583.02	3595.32	4790924
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb	SAT	222	3583.02	3595.17	4791071
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb	SAT	250	3583.03	3595.7	4790987
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb	SAT	53	3583.11	3595.1	4790714
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb	SAT	-1112	3583.12	3595.86	4792359
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb	SAT	1278	3583.13	3595.16	4793318
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3024952-loue.mps.opb	SAT	79141	3583.14	3595.52	4817308
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-15.opb	SAT	47734	3583.17	3596.17	4792429
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb	SAT	182	3583.21	3595.36	4790868
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_90.opb	SAT	-1944	3583.27	3595.81	4807066
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb	SAT	-2104	3583.27	3596.02	4792331
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_7.opb	SAT	5675101	3583.27	3595.28	4792044
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb	SAT	-111865	3583.29	3595.57	4793045
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb	SAT	225	3583.3	3595.68	4790994
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-eilA101-2.opb	SAT	43653	3583.3	3595.65	4792926
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug4.5.opb	SAT	211	3583.39	3595.33	4792492
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb	SAT	2891802	3583.39	3596.04	4791428
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb	SAT	1024	3583.4	3595.12	4793332
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb	SAT	67	3583.42	3595.33	4792506
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb	SAT	2913974246	3583.48	3595.98	4790322
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3706.opb	SAT	3268466608	3583.49	3595.69	4790287
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-fixnet6.opb	SAT	4246103	3583.56	3595.4	4790406
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g100x100.opb	SAT	2076	3583.57	3595.66	4790672
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_9_mh.opb	SAT	2564201	3583.58	3595.43	4792079
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb	SAT	145	3583.6	3595.32	4792478
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_3.opb	SAT	3892789	3583.61	3595.21	4792023
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb	SAT	1182	3583.62	3595.17	4793339
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb	SAT	23916	3583.62	3595.11	4790469
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb	SAT	7381	3583.66	3595.86	4807241
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb	SAT	93	3583.71	3595.11	4790630
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-blend2.opb	SAT	7598985	3583.76	3595.76	4790399
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb	SAT	95358	3583.76	3596.65	4793157
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_26.opb	SAT	0	3583.8	3595.11	4805666
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb	SAT	-52	3583.81	3595.58	4790224
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb	SAT	31685365	3583.91	3595.5	4792261
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb	SAT	248	3583.91	3595.61	4790931
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mod011.opb	SAT	0	3583.93	3595.72	4790420
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb	SAT	-1014	3583.95	3596.17	4807171
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb	SAT	157	3583.98	3595.12	4791106
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb	SAT	-45	3583.99	3595.59	4790231
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb	SAT	1594	3584.03	3595.72	4790329
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb	SAT	240	3584.03	3595.72	4790980
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-11_c18.opb	SAT	76	3584.04	3595.12	4793185
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram1.opb	SAT	5182	3584.07	3595.26	4791911
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb	SAT	64	3584.09	3595.2	4790455
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta57.opb	SAT	4234	3584.09	3595.42	4793346
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/ normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb	SAT	-729	3584.18	3595.69	4806996
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_38.opb	SAT	0	3584.18	3595.44	4805631
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb	SAT	181	3584.2	3595.44	4790910
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb	SAT	-53	3584.21	3595.14	4790210
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-tanglegram3.opb	SAT	13971	3584.22	3595.26	4791890
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb	SAT	227	3584.23	3595.74	4790959
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb	SAT	-3632	3584.25	3596.13	4792310
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-09.lin.opb	SAT	-1273	3584.29	3595.1	4792597
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb	SAT	-130742	3584.33	3595.48	4792296
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_8_ic.opb	SAT	19702817	3584.33	3595.67	4792212
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb	SAT	-35	3584.34	3595.49	4790238
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb	SAT	-40	3584.35	3595.54	4790252
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_34.opb	SAT	0	3584.36	3595.22	4805421
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb	SAT	254	3584.37	3595.6	4790945
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb	SAT	-52	3584.37	3595.58	4790217
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb	SAT	3989591	3584.39	3595.57	4792177
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_6_mh_ic.opb	SAT	3780365	3584.41	3596.3	4792149
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/ normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion.opb	SAT	-50447	3584.42	3595.67	4790077
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-058.lin.opb	SAT	353	3584.43	3595.1	4792625
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb	SAT	16	3584.45	3595.47	4792716
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb	SAT	187	3584.5	3595.48	4790861
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-sp98ic.opb	SAT	492918443040000000	3584.5	3595.48	4791946
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_7_ic.opb	SAT	18195327	3584.56	3595.7	4792205
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb	SAT	246	3584.6	3595.72	4790973
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb	SAT	1040	3584.6	3595.49	4790854
PB24/normalized-PB10/OPT-LIN/oliveras/ j120opt/normalized-j12059_8.std.opb	SAT	112	3584.63	3595.4	4791610
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb	SAT	186	3584.66	3595.58	4790882
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_46.opb	SAT	0	3584.7	3595.36	4805596
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-siena1.opb	SAT	33839377838688256	3584.71	3595.92	4790315
PB24/normalized-PB10/OPT-LIN/ oliveras/j120opt/normalized-j12046_10.std.opb	SAT	189	3584.72	3595.35	4791617
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-rococoC11-010100.mps.opb	SAT	21411	3584.79	3595.31	4817452
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb	SAT	1034	3584.79	3595.1	4790847
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-opm2-z10-s2.opb	SAT	-33729	3584.82	3595.22	4791897
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb	SAT	180	3584.82	3595.51	4790875
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb	SAT	1036	3584.84	3595.12	4790805
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb	SAT	241	3584.85	3595.61	4790938
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran16x16.opb	SAT	4370432	3584.86	3595.55	4790294
PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb	SAT	28	3584.86	3595.45	4791372
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-n3div36.opb	SAT	677	3584.87	3595.18	4791918
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb	SAT	180	3584.87	3595.35	4790917
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb	SAT	4630	3584.88	3595.45	4792646
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_85.opb	SAT	-1734	3584.96	3596.24	4807101
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb	SAT	79	3584.98	3595.33	4792471
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb	SAT	-313630	3584.98	3595.67	4792303
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_16.opb	SAT	223	3584.98	3595.14	4791148
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3214367-sovi.mps.opb	SAT	35997	3585	3595.3	4817344
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb	SAT	-13158	3585.02	3596.55	4792317
PB24/normalized-PB11/OPT-LIN/ heinz/normalized-t1717.opb	SAT	203626	3585.02	3595.56	4791904
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb	SAT	1036	3585.04	3595.17	4790819
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_2_mh.opb	SAT	4280110	3585.08	3595.89	4792093
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-StillLife-wastage-15-15_c24.opb	SAT	-125	3585.09	3595.6	4793199
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/ normalized-maxcut_opt_complete_6-partite_block_nvert_78.opb	SAT	-1521	3585.1	3596.09	4806961
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta48.opb	SAT	2832	3585.1	3595.27	4793311
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb	SAT	155	3585.11	3595.12	4791134
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_2.opb	SAT	3858825	3585.15	3595.14	4792051
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3381206-awhea.mps.opb	SAT	453	3585.16	3595.51	4817380
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-3530903-gauja.mps.opb	SAT	169	3585.18	3595.48	4817416
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb	SAT	101	3585.19	3595.32	4792457
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb	SAT	-70844	3585.27	3596	4790049
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb	SAT	-465	3585.29	3595.91	4792345
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.opb	SAT	-1174	3585.41	3596.07	4792366
PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb	SAT	286	3585.41	3596.06	4790448
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_064.opb	SAT	2112	3585.44	3595.48	4807521
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_7_mh.opb	SAT	5066663	3585.45	3596.04	4792135
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_000.opb	SAT	-29360	3585.51	3595.65	4793059
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb	SAT	2220	3585.52	3595.22	4793304
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/ normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_ladder.opb	SAT	-6208	3585.55	3596.36	4790042
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul5.5.opb	SAT	189	3585.57	3595.33	4792464
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_9.opb	SAT	4518305	3585.66	3595.19	4792072
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta32.opb	SAT	2332	3585.7	3595.25	4793325
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb	SAT	1218081	3585.75	3595.88	4792163
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern45-45.lin.opb	SAT	-27216	3585.77	3595.27	4792639
PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1616732.opb	SAT	159	3585.79	3595.1	4791932
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb	SAT	17	3585.84	3595.11	4791057
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb	SAT	2944383	3585.97	3595.88	4792100
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/ normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb	SAT	-792	3585.98	3595.79	4807031
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-neos-780889.opb	SAT	1855040	3586.09	3596.08	4792884
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/ vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_090.opb	SAT	4140	3586.2	3595.79	4807416
PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat85_4_27_4.opb	SAT	6009125	3586.21	3595.21	4792058
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb	SAT	1607575	3586.24	3595.55	4792590
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.opb	SAT	3273	3586.28	3595.58	4793367
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb	SAT	-3117	3586.36	3598.38	4792338
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_3000_5__126_2812__64.opb	SAT	300183	3586.62	3596.87	4791435
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_200.opb	SAT	20201	3586.65	3595.41	4805316
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern55-28.lin.opb	SAT	-46873	3587.03	3595.18	4792618
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_7_mh.opb	SAT	7480958	3587.07	3595.39	4792114
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb	SAT	2046	3587.09	3595.74	4806786
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/jsplib/normalized-ta41.opb	SAT	2588	3587.2	3595.25	4793360
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/ comppebvc/normalized-comppebvc_opt_195.opb	SAT	19209	3587.21	3596.2	4805351
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_1_mh.opb	SAT	2717547	3587.3	3595.86	4792086
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb	SAT	1655	3587.38	3595.21	4806681
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE1.0_TMAX60_K192_cod1.opb	SAT	-1443	3587.4	3598.96	4792352
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/ miplib/normalized-neos-4165869-wannon.mps.opb	SAT	293	3587.52	3595.94	4817488
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_3_shg.opb	SAT	36	3587.91	3599.41	4791995
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_490.opb	SAT	2641	3588.17	3595.27	4806716
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_55.opb	SAT	1603	3589.67	3596.53	4807661
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/ normalized-BA_RDC4.dot_unif_20null0mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb	SAT	-51822	3591.57	3601.89	4790070
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_9_shg.opb	SAT	42	3592.44	3603	4791974

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-ch150.opb	?	3581.1	3595.77	4793255
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb	?	3581.74	3595.14	4790742
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-807456.opb	?	3582.15	3595.09	4792919
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx49.opb	?	3582.24	3595.36	4791491
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-pr76.opb	?	3582.25	3595.14	4793262
PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb	?	3582.67	3595.15	4791099
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-u159.opb	?	3582.86	3595.2	4793234
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-gr137.opb	?	3582.86	3595.21	4793276
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb	?	3582.87	3595.19	4790777
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-RubiksCube-13-4-20-0_c24.opb	?	3583.07	3595.14	4793192
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_09_050_000.opb	?	3583.21	3595.35	4793423
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul4.5.opb	?	3583.33	3595.34	4792499
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-kroB150.opb	?	3583.61	3595.18	4793297
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb	?	3583.65	3595.97	4791477
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb	?	3583.76	3595.5	4790364
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb	?	3584.19	3595.53	4791526
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx30.opb	?	3584.29	3595.21	4791533
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-ts225.opb	?	3584.35	3595.46	4793269
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2017/normalized-supportcase22.opb	?	3584.68	3595.44	4792877
PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb	?	3584.81	3595.41	4791505
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-swiss42.opb	?	3584.88	3595.11	4793283
PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-22_c24.opb	?	3584.9	3596.67	4793164
PB26/normalized-PB26/OPT-LIN/sergeys/ CPMpy_translated_dataset_PB26/miplib/normalized-ej.mps.opb	?	3585.05	3595.23	4817596
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb	?	3585.25	3595.16	4790735
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb	?	3585.33	3596.2	4790280
PB26/normalized-PB26/OPT-LIN/devriendt/ tsplib/normalized-kroB200.opb	?	3585.35	3595.3	4793248
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_07_100_002.opb	?	3585.43	3595.35	4793388
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_15_100_002.opb	?	3585.5	3595.37	4793416
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_07_050_003.opb	?	3585.56	3595.31	4793374
PB26/normalized-PB26/OPT-LIN/ devriendt/tsplib/normalized-hk48.opb	?	3586	3595.11	4793290
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_13_050_002.opb	?	3586.13	3595.37	4793402
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_11_200_001.opb	?	3586.15	3595.36	4793409
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_10_200_000.opb	?	3586.19	3595.37	4793430
PB26/normalized-PB26/OPT-LIN/tanaka/ qoblib_marketsplit/normalized-ms_05_200_070.opb	?	3586.19	3595.35	4793381

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb	? (TO)	3602.04	3612.2	4792450
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_14_shg.opb	? (TO)	3602.07	3614.21	4791988
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_13_shg.opb	? (TO)	3602.09	3613.72	4791967
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb	? (TO)	3602.11	3614.63	4792002
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb	? (TO)	3602.28	3613.01	4791981
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb	? (TO)	3602.9	3612.98	4792219
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_mh.opb	? (TO)	3602.92	3614.56	4792240

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb	? (MO)		3187.58	3196.64	4792254
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_9_mh.opb	? (MO)		3218.03	3227.55	4792233

PB'26 competition: benchmarks results per solver

Result page for solver AutoAdaptRoundingSat v2 (complete)

Solver command line

Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)

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

Solver found optimum (OPTIMUM FOUND) (313 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) but this may not be the optimal solution (214 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (34 runs) [Show/Hide]

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

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

No recognized solution line (1 run) [Show/Hide]