PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_5.opb	OPT	2	0.000999	0.00629698	3704489
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_2.opb	OPT	2	0.000999	0.00648898	3704487
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=2-P2=23-B.opb	OPT	2	0.000999	0.00679296	3704537
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_1.opb	OPT	2	0.000999	0.00636407	3704486
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_5.opb	OPT	-4	0.000999	0.00644595	3704520
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_1.opb	OPT	-3	0.000999	0.00618709	3704517
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_3.opb	OPT	2	0.000999	0.00645491	3704488
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_3.opb	OPT	-3	0.001998	0.00649101	3704519
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_1.opb	OPT	-3	0.001998	0.00647693	3704457
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=29-P3=19-B.opb	OPT	2	0.001998	0.00642288	3704540
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=37-P1=43-B.opb	OPT	3	0.001998	0.00658409	3704550
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_3.opb	OPT	-3	0.001999	0.0063581	3704458
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_2.opb	OPT	-3	0.001999	0.00647601	3704518
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_3.opb	OPT	-6	0.045992	0.0239371	3704535
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_1.opb	OPT	-6	0.046992	0.023022	3704534
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_4.opb	OPT	2	0.050991	0.024133	3704505
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb	OPT	3	0.061989	0.0307961	3704544
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb	OPT	0	0.072988	0.04668	3704566
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=41-P2=53-B.opb	OPT	3	0.081986	0.0373131	3704546
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb	OPT	2	0.103983	0.0495179	3704543
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=17-P1=13-P2=11-P3=19-P4=11-P5=23-B.opb	OPT	3	0.142977	0.0680519	3704539
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_3.opb	OPT	-13	0.202968	0.102028	3704533
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=29-P1=11-P2=11-P3=17-P4=29-P5=23-B.opb	OPT	3	0.221965	0.104544	3704541
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=13-P1=5-P2=17-P3=2-P4=29-P5=5-P6=19-P7=17-P8=5-B.opb	OPT	2	0.263959	0.131494	3704538
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=17-P1=53-P2=109-B.opb	OPT	3	0.341947	0.168687	3704549
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb	OPT	3	0.402938	0.196828	3704555
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=11-P1=13-P2=29-P3=23-P4=5-P5=29-P6=29-P7=31-P8=29-P9=31-B.opb	OPT	3	0.503923	0.248242	3704536
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb	OPT	2	0.683895	0.336784	3704551
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=53-P1=17-P2=17-P3=13-P4=17-P5=61-B.opb	OPT	3	0.722889	0.358852	3704545
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=7-P1=29-P2=53-P3=31-P4=23-P5=47-P6=67-B.opb	OPT	3	0.78388	0.38653	3704547
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb	OPT	2	1.3238	0.655617	3704542
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=61-P1=127-P2=131-P3=107-P4=47-B.opb	OPT	3	2.6216	1.30581	3704554
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=37-P2=107-P3=53-P4=53-B.opb	OPT	3	3.70244	1.84636	3704557
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb	OPT	3	4.72328	2.36261	3704553
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb	OPT	3	5.9331	2.96527	3704556
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_4.opb	OPT	6	7.50386	3.75332	3704503
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb	OPT	3	8.93364	4.46932	3704548
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_5.opb	OPT	6	9.00463	4.50485	3704504
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb	OPT	3	11.9432	5.97367	3704552
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb	OPT	3	18.4792	9.23901	3704563
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb	OPT	3	19.801	9.90451	3704559
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb	OPT	3	38.3282	19.1676	3704558
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_1.opb	OPT	-15	59.8049	29.9994	3704516
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb	OPT	3	62.2455	31.1272	3704561
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb	OPT	3	111.197	55.6126	3704564
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb	OPT	3	112.109	56.0835	3704562
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb	OPT	3	118.908	59.4732	3704560
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb	OPT	5	124.293	62.1752	3704484
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb	OPT	5	129.28	64.7733	3704485
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb	OPT	5	146.49	73.265	3704483
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb	OPT	3	294.039	147.073	3704565
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb	OPT	5	628.287	314.205	3704482
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb	OPT	-25	909.91	455.126	3704515
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb	OPT	-26	1260.5	630.321	3704512

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_1.opb	SAT (TO)	-2	1800.02	900.466	3704446
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb	SAT (TO)	-7	1800.02	900.218	3704473
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb	SAT (TO)	-128	1800.02	900.428	3704508
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb	SAT (TO)	69	1800.03	900.33	3704496
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb	SAT (TO)	12	1800.04	900.329	3704494
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb	SAT (TO)	-80	1800.04	900.364	3704468
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_5.opb	SAT (TO)	78	1800.05	900.545	3704477
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb	SAT (TO)	-81	1800.05	900.341	3704466
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb	SAT (TO)	-67	1800.05	900.351	3704530
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_1.opb	SAT (TO)	76	1800.05	900.439	3704476
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb	SAT (TO)	35	1800.05	900.416	3704567
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_2.opb	SAT (TO)	-2	1800.06	900.476	3704447
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb	SAT (TO)	-28	1800.07	900.322	3704525
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb	SAT (TO)	-12	1800.07	900.318	3704470
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb	SAT (TO)	-20	1800.08	900.325	3704462
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_1.opb	SAT (TO)	37	1800.08	900.45	3704497
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb	SAT (TO)	-48	1800.08	900.321	3704522
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_3.opb	SAT (TO)	-46	1800.09	900.793	3704450
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_2.opb	SAT (TO)	41	1800.09	900.697	3704478
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb	SAT (TO)	-128	1800.09	900.448	3704507
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb	SAT (TO)	39	1800.09	900.682	3704479
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb	SAT (TO)	12	1800.09	900.339	3704492
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_4.opb	SAT (TO)	-26	1800.1	900.535	3704469
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb	SAT (TO)	-114	1800.1	900.338	3704527
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb	SAT (TO)	36	1800.11	900.818	3704568
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb	SAT (TO)	25	1800.11	900.326	3704490
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb	SAT (TO)	-37	1800.11	900.438	3704531
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb	SAT (TO)	-128	1800.11	900.464	3704509
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_5.opb	SAT (TO)	-20	1800.13	900.337	3704463
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb	SAT (TO)	31	1800.13	900.416	3704569
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb	SAT (TO)	-18	1800.14	900.321	3704453
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_4.opb	SAT (TO)	40	1800.14	900.683	3704480
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb	SAT (TO)	-29	1800.15	900.332	3704524
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb	SAT (TO)	-12	1800.15	900.321	3704454
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb	SAT (TO)	-87	1800.16	900.43	3704467
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb	SAT (TO)	-77	1800.16	900.453	3704464
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb	SAT (TO)	-26	1800.16	900.323	3704513
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb	SAT (TO)	-79	1800.17	900.469	3704465
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_1.opb	SAT (TO)	-48	1800.18	900.792	3704448
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb	SAT (TO)	-126	1800.19	900.529	3704506
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb	SAT (TO)	-113	1800.19	900.44	3704526
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb	SAT (TO)	35	1800.2	900.439	3704500
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb	SAT (TO)	-71	1800.2	900.647	3704511
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb	SAT (TO)	-7	1800.2	900.316	3704474
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_3.opb	SAT (TO)	36	1800.21	900.453	3704499
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb	SAT (TO)	-11	1800.21	900.42	3704456
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb	SAT (TO)	-6	1800.25	900.218	3704472
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb	SAT (TO)	-21	1800.36	900.328	3704461
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb	SAT (TO)	-30	1800.37	900.325	3704523
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb	SAT (TO)	-48	1800.38	900.324	3704521
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb	SAT (TO)	12	1800.39	900.432	3704495
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb	SAT (TO)	-36	1800.4	900.334	3704460
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb	SAT (TO)	12	1800.42	900.424	3704493
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_3.opb	SAT (TO)	18	1800.42	900.566	3704501
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb	SAT (TO)	-20	1800.42	900.319	3704452
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_3.opb	SAT (TO)	-68	1800.42	900.427	3704529
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_3.opb	SAT (TO)	-11	1800.44	900.321	3704455
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_4.opb	SAT (TO)	11	1800.47	900.317	3704481
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb	SAT (TO)	-11	1800.47	900.323	3704471
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_3.opb	SAT (TO)	-38	1800.48	900.454	3704532
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb	SAT (TO)	23	1800.49	900.328	3704491
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb	SAT (TO)	-7	1800.51	900.322	3704475
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb	SAT (TO)	-115	1800.54	900.421	3704528
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb	SAT (TO)	35	1800.54	900.432	3704498
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_4.opb	SAT (TO)	-49	1800.54	900.796	3704451
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb	SAT (TO)	-39	1800.56	900.435	3704459
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb	SAT (TO)	-73	1800.58	900.642	3704510
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_2.opb	SAT (TO)	-50	1800.6	900.786	3704449
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb	SAT (TO)	18	1800.61	900.577	3704502

PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Result page for solver pwbo 2.0 (complete)

Category "optimisation, small integers, non linear constraints" (OPT-SMALLINT-NLC)

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

Solver timed out but found at least a solution (69 runs) [Show/Hide]

Solver answered SATISFIABLE but gave no complete certificate (1 run) [Show/Hide]