problem,zip-dev,zip-dev.time
/home/simon/workspace/zipperposition/examples/ARI114=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ARI114false=1.p,unknown,0.01
/home/simon/workspace/zipperposition/examples/ARI120=1.p,unknown,0.01
/home/simon/workspace/zipperposition/examples/ARI163=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ARI180=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ARI181=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ARI182=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ARI183=1.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/ARI184=1.p,unsat,0.16
/home/simon/workspace/zipperposition/examples/ARI185=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ARI186=1.p,unsat,0.76
/home/simon/workspace/zipperposition/examples/ARI188=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ARI246=1.p,unsat,0.04
/home/simon/workspace/zipperposition/examples/ARI340=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ARI404=1.p,unknown,0.01
/home/simon/workspace/zipperposition/examples/ARI505=1.p,unknown,0.01
/home/simon/workspace/zipperposition/examples/ARI528=1.p,unknown,0.01
/home/simon/workspace/zipperposition/examples/ARI535=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ARI570=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ARI573=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ARI574=1.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/ARI579=1.p,unknown,0.02
/home/simon/workspace/zipperposition/examples/ARI595=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ARI598=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ARI603=1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/DAT013=1.p,error,0.01
/home/simon/workspace/zipperposition/examples/GEG021=1.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/GEG022=1.p,unsat,0.24
/home/simon/workspace/zipperposition/examples/GEG023=1.p,unsat,0.25
/home/simon/workspace/zipperposition/examples/GEG024=1.p,unsat,0.04
/home/simon/workspace/zipperposition/examples/GEG025=1.p,unsat,2.38
/home/simon/workspace/zipperposition/examples/RNG008-1.p,error,0.01
/home/simon/workspace/zipperposition/examples/SEU140+2.p,timeout,9.80
/home/simon/workspace/zipperposition/examples/SEV421=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/SEV422=1.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/SWV997=1.p,unsat,0.35
/home/simon/workspace/zipperposition/examples/SYO521=1.p,unknown,0.05
/home/simon/workspace/zipperposition/examples/SYO523=1.p,unsat,0.08
/home/simon/workspace/zipperposition/examples/SYO524=1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ac.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/arith1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/arith2.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/arith3.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/array_domain.p,unsat,0.06
/home/simon/workspace/zipperposition/examples/by_case.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/by_case2.p,unknown,0.02
/home/simon/workspace/zipperposition/examples/by_case2_false.p,unknown,0.02
/home/simon/workspace/zipperposition/examples/by_case3.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/chaining1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/chaining2.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/counter_ex_beagle.p,unsat,0.05
/home/simon/workspace/zipperposition/examples/diophantine.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/distinct.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/don_t_use_omega.p,unsat,0.48
/home/simon/workspace/zipperposition/examples/enum.p,timeout,9.99
/home/simon/workspace/zipperposition/examples/enum2.p,timeout,10.02
/home/simon/workspace/zipperposition/examples/enum3.p,sat,0.01
/home/simon/workspace/zipperposition/examples/enum4.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/frontpage.p,timeout,9.80
/home/simon/workspace/zipperposition/examples/functional.p,timeout,9.87
/home/simon/workspace/zipperposition/examples/ho/PUZ081^1.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/ho/PUZ081^2.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/ho/PUZ085^1.p,error,0.01
/home/simon/workspace/zipperposition/examples/ho/QUA011^1.p,error,0.01
/home/simon/workspace/zipperposition/examples/ho/SET014^4.p,timeout,10.02
/home/simon/workspace/zipperposition/examples/ho/SEU684^1.p,timeout,9.88
/home/simon/workspace/zipperposition/examples/ho/SYN000^1.p,error,0.01
/home/simon/workspace/zipperposition/examples/ho/SYO265^5.p,unknown,0.02
/home/simon/workspace/zipperposition/examples/ho/thf_syntax.p,sat,0.01
/home/simon/workspace/zipperposition/examples/ho/unif5.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/ho/weird_ineq.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/ho/weird_ineq2.p,timeout,9.81
/home/simon/workspace/zipperposition/examples/ind/list1.p,timeout,9.78
/home/simon/workspace/zipperposition/examples/ind/list10.p,unknown,0.03
/home/simon/workspace/zipperposition/examples/ind/list11.p,timeout,9.78
/home/simon/workspace/zipperposition/examples/ind/list12.p,unknown,0.03
/home/simon/workspace/zipperposition/examples/ind/list13.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/ind/list14.p,timeout,9.78
/home/simon/workspace/zipperposition/examples/ind/list15.p,timeout,9.98
/home/simon/workspace/zipperposition/examples/ind/list15_arith.p,unknown,0.12
/home/simon/workspace/zipperposition/examples/ind/list1_false.p,unknown,0.12
/home/simon/workspace/zipperposition/examples/ind/list2.p,timeout,9.95
/home/simon/workspace/zipperposition/examples/ind/list3.p,unknown,0.03
/home/simon/workspace/zipperposition/examples/ind/list4.p,timeout,9.79
/home/simon/workspace/zipperposition/examples/ind/list5.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/ind/list6.p,timeout,9.92
/home/simon/workspace/zipperposition/examples/ind/list7.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/ind/list7_bis.p,unknown,0.09
/home/simon/workspace/zipperposition/examples/ind/list8.p,timeout,9.81
/home/simon/workspace/zipperposition/examples/ind/list9.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/ind/nat1.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat10.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat11.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat12.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat12_no_ax.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat13.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat14.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat15.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat15_easy.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat16.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat17.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat18.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat19.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat1_easy.p,timeout,9.84
/home/simon/workspace/zipperposition/examples/ind/nat2.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat20.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat2_easy.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat3.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat4.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/ind/nat4_bis.p,timeout,9.83
/home/simon/workspace/zipperposition/examples/ind/nat4_easy.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/ind/nat5.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat6.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat7.p,timeout,9.99
/home/simon/workspace/zipperposition/examples/ind/nat7_hard.p,timeout,9.79
/home/simon/workspace/zipperposition/examples/ind/nat8.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat9.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat_check.p,unknown,0.72
/home/simon/workspace/zipperposition/examples/ind/nat_false1.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat_false2.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/nat_false3.p,sat,0.02
/home/simon/workspace/zipperposition/examples/ind/plist1.p,unknown,0.04
/home/simon/workspace/zipperposition/examples/ind/tree1.p,timeout,9.78
/home/simon/workspace/zipperposition/examples/ind/tree2.p,timeout,9.89
/home/simon/workspace/zipperposition/examples/ind/tree2_easy.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/ind/tree3.p,timeout,10.02
/home/simon/workspace/zipperposition/examples/ind/tree4.p,timeout,10.02
/home/simon/workspace/zipperposition/examples/ind/tree5.p,timeout,9.88
/home/simon/workspace/zipperposition/examples/ind/tree_nat1.p,timeout,10.02
/home/simon/workspace/zipperposition/examples/int_nat4_arith.p,timeout,9.86
/home/simon/workspace/zipperposition/examples/loop.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/modulo1.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/modulo2.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/modulo3.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/modulo4.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/modulo5.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/modulo5bis.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/modulo6.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/equivalence.p,unsat,0.10
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb1.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb10.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb11.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb12.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb13.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb14.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb15.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb16.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb17.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb18.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb19.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb2.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb20.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb21.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb22.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb23.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb24.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb25.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb26.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb27.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb28.p,sat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb29.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb3.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb30.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb31.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb32.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb33.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb34.p,unsat,1.06
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb35.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb36.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb37.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb38.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb39.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb4.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb40.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb41.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb42.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb43.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb44.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb45.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb46.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb47.p,unsat,6.99
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb48.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb49.p,unsat,0.04
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb5.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb50.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb51.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb52.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb53.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb54.p,timeout,9.82
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb55.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb56.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb57.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb58.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb59.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb6.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb60.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb61.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb62.p,sat,0.05
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb63.p,unsat,0.03
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb64.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb65.p,unsat,0.04
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb66.p,unsat,0.17
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb67.p,unsat,0.17
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb68.p,timeout,9.77
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb7.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb8.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/pelletier_problems/pb9.p,unsat,0.01
/home/simon/workspace/zipperposition/examples/polymorph.p,unsat,0.02
/home/simon/workspace/zipperposition/examples/polymorph2.p,error,0.01
/home/simon/workspace/zipperposition/examples/problems/pb1.p,timeout,11.01
/home/simon/workspace/zipperposition/examples/problems/pb2.p,unsat,0.88
/home/simon/workspace/zipperposition/examples/regression/ALG269^4.p,error,0.03
/home/simon/workspace/zipperposition/examples/regression/ANA088^1.p,unsat,0.46
/home/simon/workspace/zipperposition/examples/regression/DAT267^1.p,timeout,9.94
/home/simon/workspace/zipperposition/examples/regression/MGT011-1.p,unsat,0.06
/home/simon/workspace/zipperposition/examples/regression/NLP121-1.p,sat,0.04
/home/simon/workspace/zipperposition/examples/regression/RNG108+1.p,unsat,1.11
/home/simon/workspace/zipperposition/examples/regression/SWW616=2.p,timeout,10.05
/home/simon/workspace/zipperposition/examples/regression/SYN994^1.p,sat,0.04
/home/simon/workspace/zipperposition/examples/regression/typing_app.p,sat,0.04
/home/simon/workspace/zipperposition/examples/sat/isabelle1.p,timeout,9.97
/home/simon/workspace/zipperposition/examples/sat/isabelle2.p,sat,0.04
/home/simon/workspace/zipperposition/examples/sledgehammer/prob_e_1.p,timeout,9.78
/home/simon/workspace/zipperposition/examples/why3_1.p,unsat,0.20
/home/simon/workspace/zipperposition/examples/why3_2.p,unsat,0.05
/home/simon/workspace/zipperposition/examples/why3_2_monomorph.p,unsat,1.73
/home/simon/workspace/zipperposition/tests/test_theory_detect.p,timeout,10.01