root
file
detailed [1250..1274]
prev
next
detailed results (2568 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_23.smt2
(content)
sat
sat
1s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_23.smt2
(content)
sat
sat
0.090s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_22.smt2
(content)
sat
sat
3.8s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_22.smt2
(content)
sat
sat
0.112s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_21.smt2
(content)
sat
sat
1.1s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_21.smt2
(content)
sat
sat
0.082s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_20.smt2
(content)
sat
sat
1.2s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_20.smt2
(content)
sat
sat
0.119s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_19.smt2
(content)
sat
sat
4.2s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_19.smt2
(content)
sat
sat
0.105s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_18.smt2
(content)
unsat
unsat
5.8s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_18.smt2
(content)
unsat
unsat
0.103s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_17.smt2
(content)
sat
sat
1.4s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_17.smt2
(content)
sat
sat
0.056s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_16.smt2
(content)
sat
sat
0.215s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_16.smt2
(content)
sat
sat
0.050s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_15.smt2
(content)
unsat
unsat
1.2s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_15.smt2
(content)
unsat
unsat
0.088s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_14.smt2
(content)
sat
sat
6.8s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_14.smt2
(content)
sat
sat
0.066s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_13.smt2
(content)
unsat
unsat
2s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_13.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_12.smt2
(content)
timeout
sat
11.1s
z3
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_12.smt2
(content)
sat
sat
0.303s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_30_0600_10_11.smt2
(content)
sat
sat
0.300s