sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-30.smt2
(content)
|
error
|
sat
|
9.4s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-30.smt2
(content)
|
sat
|
sat
|
0.052s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-3.smt2
(content)
|
sat
|
sat
|
0.024s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-3.smt2
(content)
|
sat
|
sat
|
0.018s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-20.smt2
(content)
|
error
|
sat
|
6.2s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-20.smt2
(content)
|
sat
|
sat
|
0.020s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-2.smt2
(content)
|
sat
|
sat
|
0.017s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-2.smt2
(content)
|
sat
|
sat
|
0.014s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-150.smt2
(content)
|
timeout
|
sat
|
11.4s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-150.smt2
(content)
|
sat
|
sat
|
0.417s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-100.smt2
(content)
|
error
|
sat
|
8.5s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-100.smt2
(content)
|
sat
|
sat
|
0.193s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-10.smt2
(content)
|
error
|
sat
|
6.5s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-10.smt2
(content)
|
sat
|
sat
|
0.017s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking23.smt2
(content)
|
sat
|
sat
|
0.027s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking23.smt2
(content)
|
sat
|
sat
|
0.034s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking22.smt2
(content)
|
sat
|
sat
|
0.027s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking22.smt2
(content)
|
sat
|
sat
|
0.031s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking21.smt2
(content)
|
sat
|
sat
|
0.024s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking21.smt2
(content)
|
sat
|
sat
|
0.029s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking20.smt2
(content)
|
sat
|
sat
|
0.017s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking20.smt2
(content)
|
sat
|
sat
|
0.018s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking19.smt2
(content)
|
sat
|
sat
|
0.033s
|
z3
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking19.smt2
(content)
|
sat
|
sat
|
0.027s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-cooking18.smt2
(content)
|
sat
|
sat
|
0.017s
|