root
file
detailed [50..74]
prev
next
detailed results (19166 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum3_ground.i_3_2_2.bpl_7.smt2
(content)
error
unsat
0.027s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum3_ground.i_3_2_2.bpl_7.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum2_ground.i_3_2_2.bpl_7.smt2
(content)
error
unsat
0.022s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copyInitSum2_ground.i_3_2_2.bpl_7.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy7_ground.i_3_2_2.bpl_7.smt2
(content)
error
unknown
0.036s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy7_ground.i_3_2_2.bpl_7.smt2
(content)
timeout
unknown
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy5_ground.i_3_2_2.bpl_7.smt2
(content)
error
unsat
0.032s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy5_ground.i_3_2_2.bpl_7.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy4_ground.i_3_2_2.bpl_7.smt2
(content)
error
unsat
0.026s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy4_ground.i_3_2_2.bpl_7.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy3_ground.i_3_2_2.bpl_7.smt2
(content)
error
unsat
0.025s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy3_ground.i_3_2_2.bpl_7.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy1_ground.i_3_2_2.bpl_11.smt2
(content)
error
unsat
0.019s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_copy1_ground.i_3_2_2.bpl_11.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_compareModified_ground.i_4_2_2.bpl_11.smt2
(content)
error
unsat
0.027s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_compareModified_ground.i_4_2_2.bpl_11.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_allDiff2_ground.i_4_4_3.bpl_7.smt2
(content)
error
unsat
0.054s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_standard_allDiff2_ground.i_4_4_3.bpl_7.smt2
(content)
timeout
unsat
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_7.smt2
(content)
error
unsat
0.036s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_7.smt2
(content)
unsat
unsat
10s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_11.smt2
(content)
error
unknown
0.076s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sorting_bubblesort_ground.i_4_3_3.bpl_11.smt2
(content)
timeout
unknown
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple4.i_3_4_2.bpl_11.smt2
(content)
error
unknown
0.020s
z3
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple4.i_3_4_2.bpl_11.smt2
(content)
timeout
unknown
11s
sidekick-dev
/home/simon/workspace/smtlib/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_simple1.i_3_6_2.bpl_11.smt2
(content)
error
unsat
0.019s