Status Difficulty Category Output Time/ms Correct?
QF_IDL/parity/01.100.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/01.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/01.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/01.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/01.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/01.600.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/01.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/01.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/02.100.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/02.200.graph.smt unsat 0 crafted unsat 19453 Yes
QF_IDL/parity/02.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/02.400.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/02.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/02.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/02.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/02.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/03.100.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/03.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/03.300.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/03.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/03.500.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/03.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/03.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/03.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/04.100.graph.smt unsat 0 crafted unsat 101601 Yes
QF_IDL/parity/04.200.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/04.300.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/04.400.graph.smt unsat 0 crafted unsat 212905 Yes
QF_IDL/parity/04.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/04.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/04.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/04.800.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/05.100.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/05.200.graph.smt unsat 0 crafted unsat 23511 Yes
QF_IDL/parity/05.300.graph.smt unsat 0 crafted unsat 99951 Yes
QF_IDL/parity/05.400.graph.smt unsat 0 crafted error 0 Unknown
QF_IDL/parity/05.500.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/05.600.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/05.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/05.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/06.100.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/06.200.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/06.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/06.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/06.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/06.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/06.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/06.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/07.100.graph.smt unsat 0 crafted unsat 5962 Yes
QF_IDL/parity/07.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/07.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/07.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/07.500.graph.smt sat 1 crafted error 0 Unknown
QF_IDL/parity/07.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/07.700.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/07.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/08.100.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/08.200.graph.smt sat 1 crafted sat 331843 Yes
QF_IDL/parity/08.300.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/08.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/08.500.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/08.600.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/08.700.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/08.800.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/09.100.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/09.200.graph.smt sat 1 crafted sat 103967 Yes
QF_IDL/parity/09.300.graph.smt unsat 0 crafted unsat 78739 Yes
QF_IDL/parity/09.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/09.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/09.600.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/09.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/09.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/10.100.graph.smt sat 1 crafted sat 16322 Yes
QF_IDL/parity/10.200.graph.smt unsat 0 crafted unsat 167719 Yes
QF_IDL/parity/10.300.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/10.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/10.500.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/10.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/10.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/10.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/11.100.graph.smt unsat 0 crafted unsat 6207 Yes
QF_IDL/parity/11.200.graph.smt unsat 1 crafted unsat 37538 Yes
QF_IDL/parity/11.300.graph.smt sat 1 crafted sat 218128 Yes
QF_IDL/parity/11.400.graph.smt sat 0 crafted error 0 Unknown
QF_IDL/parity/11.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/11.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/11.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/11.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/12.100.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/12.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/12.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/12.400.graph.smt unsat 0 crafted error 0 Unknown
QF_IDL/parity/12.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/12.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/12.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/12.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/13.100.graph.smt sat 0 crafted sat 59422 Yes
QF_IDL/parity/13.200.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/13.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/13.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/13.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/13.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/13.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/13.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/14.100.graph.smt sat 0 crafted sat 7897 Yes
QF_IDL/parity/14.200.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/14.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/14.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/14.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/14.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/14.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/14.800.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/15.100.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/15.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/15.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/15.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/15.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/15.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/15.700.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/15.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/16.100.graph.smt unsat 0 crafted unsat 7891 Yes
QF_IDL/parity/16.200.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/16.300.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/16.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/16.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/16.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/16.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/16.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/17.100.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/17.200.graph.smt unsat 0 crafted unsat 18038 Yes
QF_IDL/parity/17.300.graph.smt unsat 0 crafted unsat 90572 Yes
QF_IDL/parity/17.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/17.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/17.600.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/17.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/17.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/18.100.graph.smt unsat 0 crafted unsat 7428 Yes
QF_IDL/parity/18.200.graph.smt sat 1 crafted sat 55945 Yes
QF_IDL/parity/18.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/18.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/18.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/18.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/18.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/18.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/19.100.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/19.200.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/19.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/19.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/19.500.graph.smt sat 0 crafted error 0 Unknown
QF_IDL/parity/19.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/19.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/19.800.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/20.100.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/20.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/20.300.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/20.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/20.500.graph.smt unsat 0 crafted unsat 618198 Yes
QF_IDL/parity/20.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/20.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/20.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/21.100.graph.smt sat 0 crafted sat 36275 Yes
QF_IDL/parity/21.200.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/21.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/21.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/21.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/21.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/21.700.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/21.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/22.100.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/22.200.graph.smt sat 0 crafted sat 198589 Yes
QF_IDL/parity/22.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/22.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/22.500.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/22.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/22.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/22.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/23.100.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/23.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/23.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/23.400.graph.smt sat 1 crafted error 0 Unknown
QF_IDL/parity/23.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/23.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/23.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/23.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/24.100.graph.smt unsat 0 crafted unsat 8619 Yes
QF_IDL/parity/24.200.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/24.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/24.400.graph.smt unsat 0 crafted error 0 Unknown
QF_IDL/parity/24.500.graph.smt unsat 1 crafted error 0 Unknown
QF_IDL/parity/24.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/24.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/24.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/25.100.graph.smt sat 1 crafted sat 13347 Yes
QF_IDL/parity/25.200.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/25.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/25.400.graph.smt unsat 0 crafted unsat 389220 Yes
QF_IDL/parity/25.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/25.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/25.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/25.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/26.100.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/26.200.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/26.300.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/26.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/26.500.graph.smt sat 0 crafted error 0 Unknown
QF_IDL/parity/26.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/26.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/26.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/27.100.graph.smt unsat 1 crafted unsat 6375 Yes
QF_IDL/parity/27.200.graph.smt sat 1 crafted sat 114228 Yes
QF_IDL/parity/27.300.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/27.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/27.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/27.600.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/27.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/27.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/28.100.graph.smt sat 1 crafted sat 24448 Yes
QF_IDL/parity/28.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/28.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/28.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/28.500.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/28.600.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/28.700.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/28.800.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/29.100.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/29.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/29.300.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/29.400.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/29.500.graph.smt unsat 0 crafted unsat 722776 Yes
QF_IDL/parity/29.600.graph.smt unsat 1 crafted timeout infty Unknown
QF_IDL/parity/29.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/29.800.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/30.100.graph.smt unsat 0 crafted unsat 5074 Yes
QF_IDL/parity/30.200.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/30.300.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/30.400.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/30.500.graph.smt sat 1 crafted error 0 Unknown
QF_IDL/parity/30.600.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/30.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/30.800.graph.smt unsat 0 crafted timeout infty Unknown
QF_IDL/parity/31.100.graph.smt sat 0 crafted timeout infty Unknown
QF_IDL/parity/31.200.graph.smt unsat 1 crafted unsat 414402 Yes
QF_IDL/parity/31.300.graph.smt sat 1 crafted error 0 Unknown
QF_IDL/parity/31.400.graph.smt unsat 0 crafted unsat 212108 Yes
QF_IDL/parity/31.500.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/31.600.graph.smt sat 1 crafted timeout infty Unknown
QF_IDL/parity/31.700.graph.smt sat 2 crafted timeout infty Unknown
QF_IDL/parity/31.800.graph.smt sat 2 crafted timeout infty Unknown
Total: 248
Correct: 34
Incorrect: 0