|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_11.smt2
(content)
|
timeout
|
sat
|
14.7s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_06.smt2
(content)
|
timeout
|
sat
|
15.8s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_05.smt2
(content)
|
timeout
|
sat
|
14.3s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_04.smt2
(content)
|
timeout
|
sat
|
14.5s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_02.smt2
(content)
|
timeout
|
sat
|
15.6s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_01.smt2
(content)
|
timeout
|
sat
|
14.3s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_00.smt2
(content)
|
timeout
|
sat
|
13.9s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_95.smt2
(content)
|
timeout
|
sat
|
14.7s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_94.smt2
(content)
|
timeout
|
sat
|
13.4s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_83.smt2
(content)
|
timeout
|
sat
|
13s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_78.smt2
(content)
|
timeout
|
sat
|
13.8s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_77.smt2
(content)
|
timeout
|
sat
|
14s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_76.smt2
(content)
|
timeout
|
sat
|
13.7s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_75.smt2
(content)
|
timeout
|
sat
|
13.3s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_74.smt2
(content)
|
timeout
|
sat
|
14.4s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_72.smt2
(content)
|
timeout
|
sat
|
12.9s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_65.smt2
(content)
|
timeout
|
sat
|
14s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_63.smt2
(content)
|
timeout
|
sat
|
15.0s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_61.smt2
(content)
|
timeout
|
sat
|
14s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_59.smt2
(content)
|
timeout
|
sat
|
14.7s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_56.smt2
(content)
|
timeout
|
sat
|
13s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_54.smt2
(content)
|
timeout
|
sat
|
13.9s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_52.smt2
(content)
|
timeout
|
sat
|
15.7s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_49.smt2
(content)
|
timeout
|
sat
|
13.5s
|
|
sidekick-dev
|
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_48.smt2
(content)
|
timeout
|
sat
|
13s
|