├── README.md ├── clib ├── clib.c └── makefile ├── exp-results ├── eran │ ├── deeppoly_0.1 │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu.txt │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ ├── log_cifar_relu_6_100.txt │ │ ├── log_cifar_relu_7_1024.txt │ │ ├── log_cifar_relu_9_200.txt │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu.txt │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ ├── log_mnist_relu_4_1024.txt │ │ ├── log_mnist_relu_6_100.txt │ │ ├── log_mnist_relu_9_200.txt │ │ ├── log_mnist_sigmoid_6_500.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ ├── log_mnist_tanh_6_500.txt │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ └── log_mnist_tanh_6_500_pgd_0.3.txt │ ├── deepzono_0.1 │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu.txt │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ ├── log_cifar_relu_6_100.txt │ │ ├── log_cifar_relu_7_1024.txt │ │ ├── log_cifar_relu_9_200.txt │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu.txt │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ ├── log_mnist_relu_4_1024.txt │ │ ├── log_mnist_relu_6_100.txt │ │ ├── log_mnist_relu_9_200.txt │ │ ├── log_mnist_sigmoid_6_500.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ ├── log_mnist_tanh_6_500.txt │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ └── log_mnist_tanh_6_500_pgd_0.3.txt │ ├── parse_results.py │ ├── refinepoly_0.1 │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu.txt │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ ├── log_cifar_relu_6_100.txt │ │ ├── log_cifar_relu_7_1024.txt │ │ ├── log_cifar_relu_9_200.txt │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu.txt │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ ├── log_mnist_relu_4_1024.txt │ │ ├── log_mnist_relu_6_100.txt │ │ ├── log_mnist_relu_9_200.txt │ │ ├── log_mnist_sigmoid_6_500.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ ├── log_mnist_tanh_6_500.txt │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ └── log_mnist_tanh_6_500_pgd_0.3.txt │ ├── refinezono_0.1 │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu.txt │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ ├── log_cifar_relu_6_100.txt │ │ ├── log_cifar_relu_7_1024.txt │ │ ├── log_cifar_relu_9_200.txt │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu.txt │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ ├── log_mnist_relu_4_1024.txt │ │ ├── log_mnist_relu_6_100.txt │ │ ├── log_mnist_relu_9_200.txt │ │ ├── log_mnist_sigmoid_6_500.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ ├── log_mnist_tanh_6_500.txt │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ └── log_mnist_tanh_6_500_pgd_0.3.txt │ ├── results_acas │ │ ├── deeppoly │ │ │ ├── spec10_net_4_5.txt │ │ │ ├── spec1_net_1_1.txt │ │ │ ├── spec1_net_1_2.txt │ │ │ ├── spec1_net_1_3.txt │ │ │ ├── spec1_net_1_4.txt │ │ │ ├── spec1_net_1_5.txt │ │ │ ├── spec1_net_1_6.txt │ │ │ ├── spec1_net_1_7.txt │ │ │ ├── spec1_net_1_8.txt │ │ │ ├── spec1_net_1_9.txt │ │ │ ├── spec1_net_2_1.txt │ │ │ ├── spec1_net_2_2.txt │ │ │ ├── spec1_net_2_3.txt │ │ │ ├── spec1_net_2_4.txt │ │ │ ├── spec1_net_2_5.txt │ │ │ ├── spec1_net_2_6.txt │ │ │ ├── spec1_net_2_7.txt │ │ │ ├── spec1_net_2_8.txt │ │ │ ├── spec1_net_2_9.txt │ │ │ ├── spec1_net_3_1.txt │ │ │ ├── spec1_net_3_2.txt │ │ │ ├── spec1_net_3_3.txt │ │ │ ├── spec1_net_3_4.txt │ │ │ ├── spec1_net_3_5.txt │ │ │ ├── spec1_net_3_6.txt │ │ │ ├── spec1_net_3_7.txt │ │ │ ├── spec1_net_3_8.txt │ │ │ ├── spec1_net_3_9.txt │ │ │ ├── spec1_net_4_1.txt │ │ │ ├── spec1_net_4_2.txt │ │ │ ├── spec1_net_4_3.txt │ │ │ ├── spec1_net_4_4.txt │ │ │ ├── spec1_net_4_5.txt │ │ │ ├── spec1_net_4_6.txt │ │ │ ├── spec1_net_4_7.txt │ │ │ ├── spec1_net_4_8.txt │ │ │ ├── spec1_net_4_9.txt │ │ │ ├── spec1_net_5_1.txt │ │ │ ├── spec1_net_5_2.txt │ │ │ ├── spec1_net_5_3.txt │ │ │ ├── spec1_net_5_4.txt │ │ │ ├── spec1_net_5_5.txt │ │ │ ├── spec1_net_5_6.txt │ │ │ ├── spec1_net_5_7.txt │ │ │ ├── spec1_net_5_8.txt │ │ │ ├── spec1_net_5_9.txt │ │ │ ├── spec2_net_2_1.txt │ │ │ ├── spec2_net_2_2.txt │ │ │ ├── spec2_net_2_3.txt │ │ │ ├── spec2_net_2_4.txt │ │ │ ├── spec2_net_2_5.txt │ │ │ ├── spec2_net_2_6.txt │ │ │ ├── spec2_net_2_7.txt │ │ │ ├── spec2_net_2_8.txt │ │ │ ├── spec2_net_2_9.txt │ │ │ ├── spec2_net_3_1.txt │ │ │ ├── spec2_net_3_2.txt │ │ │ ├── spec2_net_3_3.txt │ │ │ ├── spec2_net_3_4.txt │ │ │ ├── spec2_net_3_5.txt │ │ │ ├── spec2_net_3_6.txt │ │ │ ├── spec2_net_3_7.txt │ │ │ ├── spec2_net_3_8.txt │ │ │ ├── spec2_net_3_9.txt │ │ │ ├── spec2_net_4_1.txt │ │ │ ├── spec2_net_4_2.txt │ │ │ ├── spec2_net_4_3.txt │ │ │ ├── spec2_net_4_4.txt │ │ │ ├── spec2_net_4_5.txt │ │ │ ├── spec2_net_4_6.txt │ │ │ ├── spec2_net_4_7.txt │ │ │ ├── spec2_net_4_8.txt │ │ │ ├── spec2_net_4_9.txt │ │ │ ├── spec2_net_5_1.txt │ │ │ ├── spec2_net_5_2.txt │ │ │ ├── spec2_net_5_3.txt │ │ │ ├── spec2_net_5_4.txt │ │ │ ├── spec2_net_5_5.txt │ │ │ ├── spec2_net_5_6.txt │ │ │ ├── spec2_net_5_7.txt │ │ │ ├── spec2_net_5_8.txt │ │ │ ├── spec2_net_5_9.txt │ │ │ ├── spec3_net_1_1.txt │ │ │ ├── spec3_net_1_2.txt │ │ │ ├── spec3_net_1_3.txt │ │ │ ├── spec3_net_1_4.txt │ │ │ ├── spec3_net_1_5.txt │ │ │ ├── spec3_net_1_6.txt │ │ │ ├── spec3_net_2_1.txt │ │ │ ├── spec3_net_2_2.txt │ │ │ ├── spec3_net_2_3.txt │ │ │ ├── spec3_net_2_4.txt │ │ │ ├── spec3_net_2_5.txt │ │ │ ├── spec3_net_2_6.txt │ │ │ ├── spec3_net_2_7.txt │ │ │ ├── spec3_net_2_8.txt │ │ │ ├── spec3_net_2_9.txt │ │ │ ├── spec3_net_3_1.txt │ │ │ ├── spec3_net_3_2.txt │ │ │ ├── spec3_net_3_3.txt │ │ │ ├── spec3_net_3_4.txt │ │ │ ├── spec3_net_3_5.txt │ │ │ ├── spec3_net_3_6.txt │ │ │ ├── spec3_net_3_7.txt │ │ │ ├── spec3_net_3_8.txt │ │ │ ├── spec3_net_3_9.txt │ │ │ ├── spec3_net_4_1.txt │ │ │ ├── spec3_net_4_2.txt │ │ │ ├── spec3_net_4_3.txt │ │ │ ├── spec3_net_4_4.txt │ │ │ ├── spec3_net_4_5.txt │ │ │ ├── spec3_net_4_6.txt │ │ │ ├── spec3_net_4_7.txt │ │ │ ├── spec3_net_4_8.txt │ │ │ ├── spec3_net_4_9.txt │ │ │ ├── spec3_net_5_1.txt │ │ │ ├── spec3_net_5_2.txt │ │ │ ├── spec3_net_5_3.txt │ │ │ ├── spec3_net_5_4.txt │ │ │ ├── spec3_net_5_5.txt │ │ │ ├── spec3_net_5_6.txt │ │ │ ├── spec3_net_5_7.txt │ │ │ ├── spec3_net_5_8.txt │ │ │ ├── spec3_net_5_9.txt │ │ │ ├── spec4_net_1_1.txt │ │ │ ├── spec4_net_1_2.txt │ │ │ ├── spec4_net_1_3.txt │ │ │ ├── spec4_net_1_4.txt │ │ │ ├── spec4_net_1_5.txt │ │ │ ├── spec4_net_1_6.txt │ │ │ ├── spec4_net_2_1.txt │ │ │ ├── spec4_net_2_2.txt │ │ │ ├── spec4_net_2_3.txt │ │ │ ├── spec4_net_2_4.txt │ │ │ ├── spec4_net_2_5.txt │ │ │ ├── spec4_net_2_6.txt │ │ │ ├── spec4_net_2_7.txt │ │ │ ├── spec4_net_2_8.txt │ │ │ ├── spec4_net_2_9.txt │ │ │ ├── spec4_net_3_1.txt │ │ │ ├── spec4_net_3_2.txt │ │ │ ├── spec4_net_3_3.txt │ │ │ ├── spec4_net_3_4.txt │ │ │ ├── spec4_net_3_5.txt │ │ │ ├── spec4_net_3_6.txt │ │ │ ├── spec4_net_3_7.txt │ │ │ ├── spec4_net_3_8.txt │ │ │ ├── spec4_net_3_9.txt │ │ │ ├── spec4_net_4_1.txt │ │ │ ├── spec4_net_4_2.txt │ │ │ ├── spec4_net_4_3.txt │ │ │ ├── spec4_net_4_4.txt │ │ │ ├── spec4_net_4_5.txt │ │ │ ├── spec4_net_4_6.txt │ │ │ ├── spec4_net_4_7.txt │ │ │ ├── spec4_net_4_8.txt │ │ │ ├── spec4_net_4_9.txt │ │ │ ├── spec4_net_5_1.txt │ │ │ ├── spec4_net_5_2.txt │ │ │ ├── spec4_net_5_3.txt │ │ │ ├── spec4_net_5_4.txt │ │ │ ├── spec4_net_5_5.txt │ │ │ ├── spec4_net_5_6.txt │ │ │ ├── spec4_net_5_7.txt │ │ │ ├── spec4_net_5_8.txt │ │ │ ├── spec4_net_5_9.txt │ │ │ ├── spec5_net_1_1.txt │ │ │ ├── spec6_net_1_1.txt │ │ │ ├── spec7_net_1_9.txt │ │ │ ├── spec8_net_2_9.txt │ │ │ └── spec9_net_3_3.txt │ │ ├── deepzono │ │ │ ├── spec10_net_4_5.txt │ │ │ ├── spec1_net_1_1.txt │ │ │ ├── spec1_net_1_2.txt │ │ │ ├── spec1_net_1_3.txt │ │ │ ├── spec1_net_1_4.txt │ │ │ ├── spec1_net_1_5.txt │ │ │ ├── spec1_net_1_6.txt │ │ │ ├── spec1_net_1_7.txt │ │ │ ├── spec1_net_1_8.txt │ │ │ ├── spec1_net_1_9.txt │ │ │ ├── spec1_net_2_1.txt │ │ │ ├── spec1_net_2_2.txt │ │ │ ├── spec1_net_2_3.txt │ │ │ ├── spec1_net_2_4.txt │ │ │ ├── spec1_net_2_5.txt │ │ │ ├── spec1_net_2_6.txt │ │ │ ├── spec1_net_2_7.txt │ │ │ ├── spec1_net_2_8.txt │ │ │ ├── spec1_net_2_9.txt │ │ │ ├── spec1_net_3_1.txt │ │ │ ├── spec1_net_3_2.txt │ │ │ ├── spec1_net_3_3.txt │ │ │ ├── spec1_net_3_4.txt │ │ │ ├── spec1_net_3_5.txt │ │ │ ├── spec1_net_3_6.txt │ │ │ ├── spec1_net_3_7.txt │ │ │ ├── spec1_net_3_8.txt │ │ │ ├── spec1_net_3_9.txt │ │ │ ├── spec1_net_4_1.txt │ │ │ ├── spec1_net_4_2.txt │ │ │ ├── spec1_net_4_3.txt │ │ │ ├── spec1_net_4_4.txt │ │ │ ├── spec1_net_4_5.txt │ │ │ ├── spec1_net_4_6.txt │ │ │ ├── spec1_net_4_7.txt │ │ │ ├── spec1_net_4_8.txt │ │ │ ├── spec1_net_4_9.txt │ │ │ ├── spec1_net_5_1.txt │ │ │ ├── spec1_net_5_2.txt │ │ │ ├── spec1_net_5_3.txt │ │ │ ├── spec1_net_5_4.txt │ │ │ ├── spec1_net_5_5.txt │ │ │ ├── spec1_net_5_6.txt │ │ │ ├── spec1_net_5_7.txt │ │ │ ├── spec1_net_5_8.txt │ │ │ ├── spec1_net_5_9.txt │ │ │ ├── spec2_net_2_1.txt │ │ │ ├── spec2_net_2_2.txt │ │ │ ├── spec2_net_2_3.txt │ │ │ ├── spec2_net_2_4.txt │ │ │ ├── spec2_net_2_5.txt │ │ │ ├── spec2_net_2_6.txt │ │ │ ├── spec2_net_2_7.txt │ │ │ ├── spec2_net_2_8.txt │ │ │ ├── spec2_net_2_9.txt │ │ │ ├── spec2_net_3_1.txt │ │ │ ├── spec2_net_3_2.txt │ │ │ ├── spec2_net_3_3.txt │ │ │ ├── spec2_net_3_4.txt │ │ │ ├── spec2_net_3_5.txt │ │ │ ├── spec2_net_3_6.txt │ │ │ ├── spec2_net_3_7.txt │ │ │ ├── spec2_net_3_8.txt │ │ │ ├── spec2_net_3_9.txt │ │ │ ├── spec2_net_4_1.txt │ │ │ ├── spec2_net_4_2.txt │ │ │ ├── spec2_net_4_3.txt │ │ │ ├── spec2_net_4_4.txt │ │ │ ├── spec2_net_4_5.txt │ │ │ ├── spec2_net_4_6.txt │ │ │ ├── spec2_net_4_7.txt │ │ │ ├── spec2_net_4_8.txt │ │ │ ├── spec2_net_4_9.txt │ │ │ ├── spec2_net_5_1.txt │ │ │ ├── spec2_net_5_2.txt │ │ │ ├── spec2_net_5_3.txt │ │ │ ├── spec2_net_5_4.txt │ │ │ ├── spec2_net_5_5.txt │ │ │ ├── spec2_net_5_6.txt │ │ │ ├── spec2_net_5_7.txt │ │ │ ├── spec2_net_5_8.txt │ │ │ ├── spec2_net_5_9.txt │ │ │ ├── spec3_net_1_1.txt │ │ │ ├── spec3_net_1_2.txt │ │ │ ├── spec3_net_1_3.txt │ │ │ ├── spec3_net_1_4.txt │ │ │ ├── spec3_net_1_5.txt │ │ │ ├── spec3_net_1_6.txt │ │ │ ├── spec3_net_2_1.txt │ │ │ ├── spec3_net_2_2.txt │ │ │ ├── spec3_net_2_3.txt │ │ │ ├── spec3_net_2_4.txt │ │ │ ├── spec3_net_2_5.txt │ │ │ ├── spec3_net_2_6.txt │ │ │ ├── spec3_net_2_7.txt │ │ │ ├── spec3_net_2_8.txt │ │ │ ├── spec3_net_2_9.txt │ │ │ ├── spec3_net_3_1.txt │ │ │ ├── spec3_net_3_2.txt │ │ │ ├── spec3_net_3_3.txt │ │ │ ├── spec3_net_3_4.txt │ │ │ ├── spec3_net_3_5.txt │ │ │ ├── spec3_net_3_6.txt │ │ │ ├── spec3_net_3_7.txt │ │ │ ├── spec3_net_3_8.txt │ │ │ ├── spec3_net_3_9.txt │ │ │ ├── spec3_net_4_1.txt │ │ │ ├── spec3_net_4_2.txt │ │ │ ├── spec3_net_4_3.txt │ │ │ ├── spec3_net_4_4.txt │ │ │ ├── spec3_net_4_5.txt │ │ │ ├── spec3_net_4_6.txt │ │ │ ├── spec3_net_4_7.txt │ │ │ ├── spec3_net_4_8.txt │ │ │ ├── spec3_net_4_9.txt │ │ │ ├── spec3_net_5_1.txt │ │ │ ├── spec3_net_5_2.txt │ │ │ ├── spec3_net_5_3.txt │ │ │ ├── spec3_net_5_4.txt │ │ │ ├── spec3_net_5_5.txt │ │ │ ├── spec3_net_5_6.txt │ │ │ ├── spec3_net_5_7.txt │ │ │ ├── spec3_net_5_8.txt │ │ │ ├── spec3_net_5_9.txt │ │ │ ├── spec4_net_1_1.txt │ │ │ ├── spec4_net_1_2.txt │ │ │ ├── spec4_net_1_3.txt │ │ │ ├── spec4_net_1_4.txt │ │ │ ├── spec4_net_1_5.txt │ │ │ ├── spec4_net_1_6.txt │ │ │ ├── spec4_net_2_1.txt │ │ │ ├── spec4_net_2_2.txt │ │ │ ├── spec4_net_2_3.txt │ │ │ ├── spec4_net_2_4.txt │ │ │ ├── spec4_net_2_5.txt │ │ │ ├── spec4_net_2_6.txt │ │ │ ├── spec4_net_2_7.txt │ │ │ ├── spec4_net_2_8.txt │ │ │ ├── spec4_net_2_9.txt │ │ │ ├── spec4_net_3_1.txt │ │ │ ├── spec4_net_3_2.txt │ │ │ ├── spec4_net_3_3.txt │ │ │ ├── spec4_net_3_4.txt │ │ │ ├── spec4_net_3_5.txt │ │ │ ├── spec4_net_3_6.txt │ │ │ ├── spec4_net_3_7.txt │ │ │ ├── spec4_net_3_8.txt │ │ │ ├── spec4_net_3_9.txt │ │ │ ├── spec4_net_4_1.txt │ │ │ ├── spec4_net_4_2.txt │ │ │ ├── spec4_net_4_3.txt │ │ │ ├── spec4_net_4_4.txt │ │ │ ├── spec4_net_4_5.txt │ │ │ ├── spec4_net_4_6.txt │ │ │ ├── spec4_net_4_7.txt │ │ │ ├── spec4_net_4_8.txt │ │ │ ├── spec4_net_4_9.txt │ │ │ ├── spec4_net_5_1.txt │ │ │ ├── spec4_net_5_2.txt │ │ │ ├── spec4_net_5_3.txt │ │ │ ├── spec4_net_5_4.txt │ │ │ ├── spec4_net_5_5.txt │ │ │ ├── spec4_net_5_6.txt │ │ │ ├── spec4_net_5_7.txt │ │ │ ├── spec4_net_5_8.txt │ │ │ ├── spec4_net_5_9.txt │ │ │ ├── spec5_net_1_1.txt │ │ │ ├── spec6_net_1_1.txt │ │ │ ├── spec7_net_1_9.txt │ │ │ ├── spec8_net_2_9.txt │ │ │ └── spec9_net_3_3.txt │ │ ├── parse_results.py │ │ ├── refinepoly │ │ │ ├── spec10_net_4_5.txt │ │ │ ├── spec1_net_1_1.txt │ │ │ ├── spec1_net_1_2.txt │ │ │ ├── spec1_net_1_3.txt │ │ │ ├── spec1_net_1_4.txt │ │ │ ├── spec1_net_1_5.txt │ │ │ ├── spec1_net_1_6.txt │ │ │ ├── spec1_net_1_7.txt │ │ │ ├── spec1_net_1_8.txt │ │ │ ├── spec1_net_1_9.txt │ │ │ ├── spec1_net_2_1.txt │ │ │ ├── spec1_net_2_2.txt │ │ │ ├── spec1_net_2_3.txt │ │ │ ├── spec1_net_2_4.txt │ │ │ ├── spec1_net_2_5.txt │ │ │ ├── spec1_net_2_6.txt │ │ │ ├── spec1_net_2_7.txt │ │ │ ├── spec1_net_2_8.txt │ │ │ ├── spec1_net_2_9.txt │ │ │ ├── spec1_net_3_1.txt │ │ │ ├── spec1_net_3_2.txt │ │ │ ├── spec1_net_3_3.txt │ │ │ ├── spec1_net_3_4.txt │ │ │ ├── spec1_net_3_5.txt │ │ │ ├── spec1_net_3_6.txt │ │ │ ├── spec1_net_3_7.txt │ │ │ ├── spec1_net_3_8.txt │ │ │ ├── spec1_net_3_9.txt │ │ │ ├── spec1_net_4_1.txt │ │ │ ├── spec1_net_4_2.txt │ │ │ ├── spec1_net_4_3.txt │ │ │ ├── spec1_net_4_4.txt │ │ │ ├── spec1_net_4_5.txt │ │ │ ├── spec1_net_4_6.txt │ │ │ ├── spec1_net_4_7.txt │ │ │ ├── spec1_net_4_8.txt │ │ │ ├── spec1_net_4_9.txt │ │ │ ├── spec1_net_5_1.txt │ │ │ ├── spec1_net_5_2.txt │ │ │ ├── spec1_net_5_3.txt │ │ │ ├── spec1_net_5_4.txt │ │ │ ├── spec1_net_5_5.txt │ │ │ ├── spec1_net_5_6.txt │ │ │ ├── spec1_net_5_7.txt │ │ │ ├── spec1_net_5_8.txt │ │ │ ├── spec1_net_5_9.txt │ │ │ ├── spec2_net_2_1.txt │ │ │ ├── spec2_net_2_2.txt │ │ │ ├── spec2_net_2_3.txt │ │ │ ├── spec2_net_2_4.txt │ │ │ ├── spec2_net_2_5.txt │ │ │ ├── spec2_net_2_6.txt │ │ │ ├── spec2_net_2_7.txt │ │ │ ├── spec2_net_2_8.txt │ │ │ ├── spec2_net_2_9.txt │ │ │ ├── spec2_net_3_1.txt │ │ │ ├── spec2_net_3_2.txt │ │ │ ├── spec2_net_3_3.txt │ │ │ ├── spec2_net_3_4.txt │ │ │ ├── spec2_net_3_5.txt │ │ │ ├── spec2_net_3_6.txt │ │ │ ├── spec2_net_3_7.txt │ │ │ ├── spec2_net_3_8.txt │ │ │ ├── spec2_net_3_9.txt │ │ │ ├── spec2_net_4_1.txt │ │ │ ├── spec2_net_4_2.txt │ │ │ ├── spec2_net_4_3.txt │ │ │ ├── spec2_net_4_4.txt │ │ │ ├── spec2_net_4_5.txt │ │ │ ├── spec2_net_4_6.txt │ │ │ ├── spec2_net_4_7.txt │ │ │ ├── spec2_net_4_8.txt │ │ │ ├── spec2_net_4_9.txt │ │ │ ├── spec2_net_5_1.txt │ │ │ ├── spec2_net_5_2.txt │ │ │ ├── spec2_net_5_3.txt │ │ │ ├── spec2_net_5_4.txt │ │ │ ├── spec2_net_5_5.txt │ │ │ ├── spec2_net_5_6.txt │ │ │ ├── spec2_net_5_7.txt │ │ │ ├── spec2_net_5_8.txt │ │ │ ├── spec2_net_5_9.txt │ │ │ ├── spec3_net_1_1.txt │ │ │ ├── spec3_net_1_2.txt │ │ │ ├── spec3_net_1_3.txt │ │ │ ├── spec3_net_1_4.txt │ │ │ ├── spec3_net_1_5.txt │ │ │ ├── spec3_net_1_6.txt │ │ │ ├── spec3_net_2_1.txt │ │ │ ├── spec3_net_2_2.txt │ │ │ ├── spec3_net_2_3.txt │ │ │ ├── spec3_net_2_4.txt │ │ │ ├── spec3_net_2_5.txt │ │ │ ├── spec3_net_2_6.txt │ │ │ ├── spec3_net_2_7.txt │ │ │ ├── spec3_net_2_8.txt │ │ │ ├── spec3_net_2_9.txt │ │ │ ├── spec3_net_3_1.txt │ │ │ ├── spec3_net_3_2.txt │ │ │ ├── spec3_net_3_3.txt │ │ │ ├── spec3_net_3_4.txt │ │ │ ├── spec3_net_3_5.txt │ │ │ ├── spec3_net_3_6.txt │ │ │ ├── spec3_net_3_7.txt │ │ │ ├── spec3_net_3_8.txt │ │ │ ├── spec3_net_3_9.txt │ │ │ ├── spec3_net_4_1.txt │ │ │ ├── spec3_net_4_2.txt │ │ │ ├── spec3_net_4_3.txt │ │ │ ├── spec3_net_4_4.txt │ │ │ ├── spec3_net_4_5.txt │ │ │ ├── spec3_net_4_6.txt │ │ │ ├── spec3_net_4_7.txt │ │ │ ├── spec3_net_4_8.txt │ │ │ ├── spec3_net_4_9.txt │ │ │ ├── spec3_net_5_1.txt │ │ │ ├── spec3_net_5_2.txt │ │ │ ├── spec3_net_5_3.txt │ │ │ ├── spec3_net_5_4.txt │ │ │ ├── spec3_net_5_5.txt │ │ │ ├── spec3_net_5_6.txt │ │ │ ├── spec3_net_5_7.txt │ │ │ ├── spec3_net_5_8.txt │ │ │ ├── spec3_net_5_9.txt │ │ │ ├── spec4_net_1_1.txt │ │ │ ├── spec4_net_1_2.txt │ │ │ ├── spec4_net_1_3.txt │ │ │ ├── spec4_net_1_4.txt │ │ │ ├── spec4_net_1_5.txt │ │ │ ├── spec4_net_1_6.txt │ │ │ ├── spec4_net_2_1.txt │ │ │ ├── spec4_net_2_2.txt │ │ │ ├── spec4_net_2_3.txt │ │ │ ├── spec4_net_2_4.txt │ │ │ ├── spec4_net_2_5.txt │ │ │ ├── spec4_net_2_6.txt │ │ │ ├── spec4_net_2_7.txt │ │ │ ├── spec4_net_2_8.txt │ │ │ ├── spec4_net_2_9.txt │ │ │ ├── spec4_net_3_1.txt │ │ │ ├── spec4_net_3_2.txt │ │ │ ├── spec4_net_3_3.txt │ │ │ ├── spec4_net_3_4.txt │ │ │ ├── spec4_net_3_5.txt │ │ │ ├── spec4_net_3_6.txt │ │ │ ├── spec4_net_3_7.txt │ │ │ ├── spec4_net_3_8.txt │ │ │ ├── spec4_net_3_9.txt │ │ │ ├── spec4_net_4_1.txt │ │ │ ├── spec4_net_4_2.txt │ │ │ ├── spec4_net_4_3.txt │ │ │ ├── spec4_net_4_4.txt │ │ │ ├── spec4_net_4_5.txt │ │ │ ├── spec4_net_4_6.txt │ │ │ ├── spec4_net_4_7.txt │ │ │ ├── spec4_net_4_8.txt │ │ │ ├── spec4_net_4_9.txt │ │ │ ├── spec4_net_5_1.txt │ │ │ ├── spec4_net_5_2.txt │ │ │ ├── spec4_net_5_3.txt │ │ │ ├── spec4_net_5_4.txt │ │ │ ├── spec4_net_5_5.txt │ │ │ ├── spec4_net_5_6.txt │ │ │ ├── spec4_net_5_7.txt │ │ │ ├── spec4_net_5_8.txt │ │ │ ├── spec4_net_5_9.txt │ │ │ ├── spec5_net_1_1.txt │ │ │ ├── spec6_net_1_1.txt │ │ │ ├── spec7_net_1_9.txt │ │ │ ├── spec8_net_2_9.txt │ │ │ └── spec9_net_3_3.txt │ │ └── refinezono │ │ │ ├── spec10_net_4_5.txt │ │ │ ├── spec1_net_1_1.txt │ │ │ ├── spec1_net_1_2.txt │ │ │ ├── spec1_net_1_3.txt │ │ │ ├── spec1_net_1_4.txt │ │ │ ├── spec1_net_1_5.txt │ │ │ ├── spec1_net_1_6.txt │ │ │ ├── spec1_net_1_7.txt │ │ │ ├── spec1_net_1_8.txt │ │ │ ├── spec1_net_1_9.txt │ │ │ ├── spec1_net_2_1.txt │ │ │ ├── spec1_net_2_2.txt │ │ │ ├── spec1_net_2_3.txt │ │ │ ├── spec1_net_2_4.txt │ │ │ ├── spec1_net_2_5.txt │ │ │ ├── spec1_net_2_6.txt │ │ │ ├── spec1_net_2_7.txt │ │ │ ├── spec1_net_2_8.txt │ │ │ ├── spec1_net_2_9.txt │ │ │ ├── spec1_net_3_1.txt │ │ │ ├── spec1_net_3_2.txt │ │ │ ├── spec1_net_3_3.txt │ │ │ ├── spec1_net_3_4.txt │ │ │ ├── spec1_net_3_5.txt │ │ │ ├── spec1_net_3_6.txt │ │ │ ├── spec1_net_3_7.txt │ │ │ ├── spec1_net_3_8.txt │ │ │ ├── spec1_net_3_9.txt │ │ │ ├── spec1_net_4_1.txt │ │ │ ├── spec1_net_4_2.txt │ │ │ ├── spec1_net_4_3.txt │ │ │ ├── spec1_net_4_4.txt │ │ │ ├── spec1_net_4_5.txt │ │ │ ├── spec1_net_4_6.txt │ │ │ ├── spec1_net_4_7.txt │ │ │ ├── spec1_net_4_8.txt │ │ │ ├── spec1_net_4_9.txt │ │ │ ├── spec1_net_5_1.txt │ │ │ ├── spec1_net_5_2.txt │ │ │ ├── spec1_net_5_3.txt │ │ │ ├── spec1_net_5_4.txt │ │ │ ├── spec1_net_5_5.txt │ │ │ ├── spec1_net_5_6.txt │ │ │ ├── spec1_net_5_7.txt │ │ │ ├── spec1_net_5_8.txt │ │ │ ├── spec1_net_5_9.txt │ │ │ ├── spec2_net_2_1.txt │ │ │ ├── spec2_net_2_2.txt │ │ │ ├── spec2_net_2_3.txt │ │ │ ├── spec2_net_2_4.txt │ │ │ ├── spec2_net_2_5.txt │ │ │ ├── spec2_net_2_6.txt │ │ │ ├── spec2_net_2_7.txt │ │ │ ├── spec2_net_2_8.txt │ │ │ ├── spec2_net_2_9.txt │ │ │ ├── spec2_net_3_1.txt │ │ │ ├── spec2_net_3_2.txt │ │ │ ├── spec2_net_3_3.txt │ │ │ ├── spec2_net_3_4.txt │ │ │ ├── spec2_net_3_5.txt │ │ │ ├── spec2_net_3_6.txt │ │ │ ├── spec2_net_3_7.txt │ │ │ ├── spec2_net_3_8.txt │ │ │ ├── spec2_net_3_9.txt │ │ │ ├── spec2_net_4_1.txt │ │ │ ├── spec2_net_4_2.txt │ │ │ ├── spec2_net_4_3.txt │ │ │ ├── spec2_net_4_4.txt │ │ │ ├── spec2_net_4_5.txt │ │ │ ├── spec2_net_4_6.txt │ │ │ ├── spec2_net_4_7.txt │ │ │ ├── spec2_net_4_8.txt │ │ │ ├── spec2_net_4_9.txt │ │ │ ├── spec2_net_5_1.txt │ │ │ ├── spec2_net_5_2.txt │ │ │ ├── spec2_net_5_3.txt │ │ │ ├── spec2_net_5_4.txt │ │ │ ├── spec2_net_5_5.txt │ │ │ ├── spec2_net_5_6.txt │ │ │ ├── spec2_net_5_7.txt │ │ │ ├── spec2_net_5_8.txt │ │ │ ├── spec2_net_5_9.txt │ │ │ ├── spec3_net_1_1.txt │ │ │ ├── spec3_net_1_2.txt │ │ │ ├── spec3_net_1_3.txt │ │ │ ├── spec3_net_1_4.txt │ │ │ ├── spec3_net_1_5.txt │ │ │ ├── spec3_net_1_6.txt │ │ │ ├── spec3_net_2_1.txt │ │ │ ├── spec3_net_2_2.txt │ │ │ ├── spec3_net_2_3.txt │ │ │ ├── spec3_net_2_4.txt │ │ │ ├── spec3_net_2_5.txt │ │ │ ├── spec3_net_2_6.txt │ │ │ ├── spec3_net_2_7.txt │ │ │ ├── spec3_net_2_8.txt │ │ │ ├── spec3_net_2_9.txt │ │ │ ├── spec3_net_3_1.txt │ │ │ ├── spec3_net_3_2.txt │ │ │ ├── spec3_net_3_3.txt │ │ │ ├── spec3_net_3_4.txt │ │ │ ├── spec3_net_3_5.txt │ │ │ ├── spec3_net_3_6.txt │ │ │ ├── spec3_net_3_7.txt │ │ │ ├── spec3_net_3_8.txt │ │ │ ├── spec3_net_3_9.txt │ │ │ ├── spec3_net_4_1.txt │ │ │ ├── spec3_net_4_2.txt │ │ │ ├── spec3_net_4_3.txt │ │ │ ├── spec3_net_4_4.txt │ │ │ ├── spec3_net_4_5.txt │ │ │ ├── spec3_net_4_6.txt │ │ │ ├── spec3_net_4_7.txt │ │ │ ├── spec3_net_4_8.txt │ │ │ ├── spec3_net_4_9.txt │ │ │ ├── spec3_net_5_1.txt │ │ │ ├── spec3_net_5_2.txt │ │ │ ├── spec3_net_5_3.txt │ │ │ ├── spec3_net_5_4.txt │ │ │ ├── spec3_net_5_5.txt │ │ │ ├── spec3_net_5_6.txt │ │ │ ├── spec3_net_5_7.txt │ │ │ ├── spec3_net_5_8.txt │ │ │ ├── spec3_net_5_9.txt │ │ │ ├── spec4_net_1_1.txt │ │ │ ├── spec4_net_1_2.txt │ │ │ ├── spec4_net_1_3.txt │ │ │ ├── spec4_net_1_4.txt │ │ │ ├── spec4_net_1_5.txt │ │ │ ├── spec4_net_1_6.txt │ │ │ ├── spec4_net_2_1.txt │ │ │ ├── spec4_net_2_2.txt │ │ │ ├── spec4_net_2_3.txt │ │ │ ├── spec4_net_2_4.txt │ │ │ ├── spec4_net_2_5.txt │ │ │ ├── spec4_net_2_6.txt │ │ │ ├── spec4_net_2_7.txt │ │ │ ├── spec4_net_2_8.txt │ │ │ ├── spec4_net_2_9.txt │ │ │ ├── spec4_net_3_1.txt │ │ │ ├── spec4_net_3_2.txt │ │ │ ├── spec4_net_3_3.txt │ │ │ ├── spec4_net_3_4.txt │ │ │ ├── spec4_net_3_5.txt │ │ │ ├── spec4_net_3_6.txt │ │ │ ├── spec4_net_3_7.txt │ │ │ ├── spec4_net_3_8.txt │ │ │ ├── spec4_net_3_9.txt │ │ │ ├── spec4_net_4_1.txt │ │ │ ├── spec4_net_4_2.txt │ │ │ ├── spec4_net_4_3.txt │ │ │ ├── spec4_net_4_4.txt │ │ │ ├── spec4_net_4_5.txt │ │ │ ├── spec4_net_4_6.txt │ │ │ ├── spec4_net_4_7.txt │ │ │ ├── spec4_net_4_8.txt │ │ │ ├── spec4_net_4_9.txt │ │ │ ├── spec4_net_5_1.txt │ │ │ ├── spec4_net_5_2.txt │ │ │ ├── spec4_net_5_3.txt │ │ │ ├── spec4_net_5_4.txt │ │ │ ├── spec4_net_5_5.txt │ │ │ ├── spec4_net_5_6.txt │ │ │ ├── spec4_net_5_7.txt │ │ │ ├── spec4_net_5_8.txt │ │ │ ├── spec4_net_5_9.txt │ │ │ ├── spec5_net_1_1.txt │ │ │ ├── spec6_net_1_1.txt │ │ │ ├── spec7_net_1_9.txt │ │ │ ├── spec8_net_2_9.txt │ │ │ └── spec9_net_3_3.txt │ ├── scripts │ │ ├── run_deeppoly_0.1.sh │ │ ├── run_deepzono_0.1.sh │ │ ├── run_refinepoly_0.1.sh │ │ └── run_refinezono_0.1.sh │ └── scripts_acas │ │ ├── run_all.sh │ │ ├── run_deeppoly_acas.sh │ │ ├── run_deepzono_acas.sh │ │ ├── run_refinepoly_acas.sh │ │ └── run_refinezono_acas.sh ├── reluplex │ ├── logs │ │ ├── property10_stats_1.txt │ │ ├── property10_stats_2.txt │ │ ├── property10_stats_3.txt │ │ ├── property10_stats_4.txt │ │ ├── property10_summary.txt │ │ ├── property1_stats_1_1.txt │ │ ├── property1_stats_1_2.txt │ │ ├── property1_stats_1_3.txt │ │ ├── property1_stats_1_4.txt │ │ ├── property1_stats_1_5.txt │ │ ├── property1_stats_1_6.txt │ │ ├── property1_stats_1_7.txt │ │ ├── property1_stats_1_8.txt │ │ ├── property1_stats_1_9.txt │ │ ├── property1_stats_2_1.txt │ │ ├── property1_stats_2_2.txt │ │ ├── property1_stats_2_3.txt │ │ ├── property1_stats_2_4.txt │ │ ├── property1_stats_2_5.txt │ │ ├── property1_stats_2_6.txt │ │ ├── property1_stats_2_7.txt │ │ ├── property1_stats_2_8.txt │ │ ├── property1_stats_2_9.txt │ │ ├── property1_stats_3_1.txt │ │ ├── property1_stats_3_2.txt │ │ ├── property1_stats_3_3.txt │ │ ├── property1_stats_3_4.txt │ │ ├── property1_stats_3_5.txt │ │ ├── property1_stats_3_6.txt │ │ ├── property1_stats_3_7.txt │ │ ├── property1_stats_3_8.txt │ │ ├── property1_stats_3_9.txt │ │ ├── property1_stats_4_1.txt │ │ ├── property1_stats_4_2.txt │ │ ├── property1_stats_4_3.txt │ │ ├── property1_stats_4_4.txt │ │ ├── property1_stats_4_5.txt │ │ ├── property1_stats_4_6.txt │ │ ├── property1_stats_4_7.txt │ │ ├── property1_stats_4_8.txt │ │ ├── property1_stats_4_9.txt │ │ ├── property1_stats_5_1.txt │ │ ├── property1_stats_5_2.txt │ │ ├── property1_stats_5_3.txt │ │ ├── property1_stats_5_4.txt │ │ ├── property1_stats_5_5.txt │ │ ├── property1_stats_5_6.txt │ │ ├── property1_stats_5_7.txt │ │ ├── property1_stats_5_8.txt │ │ ├── property1_stats_5_9.txt │ │ ├── property1_summary.txt │ │ ├── property2_stats_2_1.txt │ │ ├── property2_stats_2_2.txt │ │ ├── property2_stats_2_3.txt │ │ ├── property2_stats_2_4.txt │ │ ├── property2_stats_2_5.txt │ │ ├── property2_stats_2_6.txt │ │ ├── property2_stats_2_7.txt │ │ ├── property2_stats_2_8.txt │ │ ├── property2_stats_2_9.txt │ │ ├── property2_stats_3_1.txt │ │ ├── property2_stats_3_2.txt │ │ ├── property2_stats_3_3.txt │ │ ├── property2_stats_3_4.txt │ │ ├── property2_stats_3_5.txt │ │ ├── property2_stats_3_6.txt │ │ ├── property2_stats_3_7.txt │ │ ├── property2_stats_3_8.txt │ │ ├── property2_stats_3_9.txt │ │ ├── property2_stats_4_1.txt │ │ ├── property2_stats_4_2.txt │ │ ├── property2_stats_4_3.txt │ │ ├── property2_stats_4_4.txt │ │ ├── property2_stats_4_5.txt │ │ ├── property2_stats_4_6.txt │ │ ├── property2_stats_4_7.txt │ │ ├── property2_stats_4_8.txt │ │ ├── property2_stats_4_9.txt │ │ ├── property2_stats_5_1.txt │ │ ├── property2_stats_5_2.txt │ │ ├── property2_stats_5_3.txt │ │ ├── property2_stats_5_4.txt │ │ ├── property2_stats_5_5.txt │ │ ├── property2_stats_5_6.txt │ │ ├── property2_stats_5_7.txt │ │ ├── property2_stats_5_8.txt │ │ ├── property2_stats_5_9.txt │ │ ├── property2_summary.txt │ │ ├── property3_stats_1_1.txt │ │ ├── property3_stats_1_2.txt │ │ ├── property3_stats_1_3.txt │ │ ├── property3_stats_1_4.txt │ │ ├── property3_stats_1_5.txt │ │ ├── property3_stats_1_6.txt │ │ ├── property3_stats_2_1.txt │ │ ├── property3_stats_2_2.txt │ │ ├── property3_stats_2_3.txt │ │ ├── property3_stats_2_4.txt │ │ ├── property3_stats_2_5.txt │ │ ├── property3_stats_2_6.txt │ │ ├── property3_stats_2_7.txt │ │ ├── property3_stats_2_8.txt │ │ ├── property3_stats_2_9.txt │ │ ├── property3_stats_3_1.txt │ │ ├── property3_stats_3_2.txt │ │ ├── property3_stats_3_3.txt │ │ ├── property3_stats_3_4.txt │ │ ├── property3_stats_3_5.txt │ │ ├── property3_stats_3_6.txt │ │ ├── property3_stats_3_7.txt │ │ ├── property3_stats_3_8.txt │ │ ├── property3_stats_3_9.txt │ │ ├── property3_stats_4_1.txt │ │ ├── property3_stats_4_2.txt │ │ ├── property3_stats_4_3.txt │ │ ├── property3_stats_4_4.txt │ │ ├── property3_stats_4_5.txt │ │ ├── property3_stats_4_6.txt │ │ ├── property3_stats_4_7.txt │ │ ├── property3_stats_4_8.txt │ │ ├── property3_stats_4_9.txt │ │ ├── property3_stats_5_1.txt │ │ ├── property3_stats_5_2.txt │ │ ├── property3_stats_5_3.txt │ │ ├── property3_stats_5_4.txt │ │ ├── property3_stats_5_5.txt │ │ ├── property3_stats_5_6.txt │ │ ├── property3_stats_5_7.txt │ │ ├── property3_stats_5_8.txt │ │ ├── property3_stats_5_9.txt │ │ ├── property3_summary.txt │ │ ├── property4_stats_1_1.txt │ │ ├── property4_stats_1_2.txt │ │ ├── property4_stats_1_3.txt │ │ ├── property4_stats_1_4.txt │ │ ├── property4_stats_1_5.txt │ │ ├── property4_stats_1_6.txt │ │ ├── property4_stats_2_1.txt │ │ ├── property4_stats_2_2.txt │ │ ├── property4_stats_2_3.txt │ │ ├── property4_stats_2_4.txt │ │ ├── property4_stats_2_5.txt │ │ ├── property4_stats_2_6.txt │ │ ├── property4_stats_2_7.txt │ │ ├── property4_stats_2_8.txt │ │ ├── property4_stats_2_9.txt │ │ ├── property4_stats_3_1.txt │ │ ├── property4_stats_3_2.txt │ │ ├── property4_stats_3_3.txt │ │ ├── property4_stats_3_4.txt │ │ ├── property4_stats_3_5.txt │ │ ├── property4_stats_3_6.txt │ │ ├── property4_stats_3_7.txt │ │ ├── property4_stats_3_8.txt │ │ ├── property4_stats_3_9.txt │ │ ├── property4_stats_4_1.txt │ │ ├── property4_stats_4_2.txt │ │ ├── property4_stats_4_3.txt │ │ ├── property4_stats_4_4.txt │ │ ├── property4_stats_4_5.txt │ │ ├── property4_stats_4_6.txt │ │ ├── property4_stats_4_7.txt │ │ ├── property4_stats_4_8.txt │ │ ├── property4_stats_4_9.txt │ │ ├── property4_stats_5_1.txt │ │ ├── property4_stats_5_2.txt │ │ ├── property4_stats_5_3.txt │ │ ├── property4_stats_5_4.txt │ │ ├── property4_stats_5_5.txt │ │ ├── property4_stats_5_6.txt │ │ ├── property4_stats_5_7.txt │ │ ├── property4_stats_5_8.txt │ │ ├── property4_stats_5_9.txt │ │ ├── property4_summary.txt │ │ ├── property5_stats_0.txt │ │ ├── property5_stats_1.txt │ │ ├── property5_stats_2.txt │ │ ├── property5_stats_3.txt │ │ ├── property5_summary.txt │ │ ├── property6_lower_stats_1.txt │ │ ├── property6_lower_stats_2.txt │ │ ├── property6_lower_stats_3.txt │ │ ├── property6_lower_stats_4.txt │ │ ├── property6_summary.txt │ │ ├── property6_upper_stats_1.txt │ │ ├── property6_upper_stats_2.txt │ │ ├── property6_upper_stats_3.txt │ │ ├── property6_upper_stats_4.txt │ │ ├── property7_stats_3.txt │ │ ├── property7_stats_4.txt │ │ ├── property7_summary.txt │ │ ├── property8_stats_3.txt │ │ ├── property8_summary.txt │ │ ├── property9_stats_0.txt │ │ ├── property9_stats_1.txt │ │ ├── property9_stats_2.txt │ │ ├── property9_stats_4.txt │ │ └── property9_summary.txt │ ├── parse_results.py │ └── scripts1m │ │ ├── run_adversarial.sh │ │ ├── run_all.sh │ │ ├── run_property1.sh │ │ ├── run_property10.sh │ │ ├── run_property2.sh │ │ ├── run_property3.sh │ │ ├── run_property4.sh │ │ ├── run_property5.sh │ │ ├── run_property6.sh │ │ ├── run_property7.sh │ │ ├── run_property8.sh │ │ └── run_property9.sh ├── socrates │ ├── mnist_samples.txt │ ├── motivation │ │ ├── Figure_1.png │ │ └── result_motivation.txt │ ├── results_opti │ │ ├── eran_01 │ │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ │ ├── log_cifar_conv_small_relu.txt │ │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ │ ├── log_cifar_relu_6_100.txt │ │ │ ├── log_cifar_relu_7_1024.txt │ │ │ ├── log_cifar_relu_9_200.txt │ │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ │ ├── log_mnist_conv_small_relu.txt │ │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ │ ├── log_mnist_relu_4_1024.txt │ │ │ ├── log_mnist_relu_6_100.txt │ │ │ ├── log_mnist_relu_9_200.txt │ │ │ ├── log_mnist_sigmoid_6_500.txt │ │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ │ ├── log_mnist_tanh_6_500.txt │ │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ │ ├── log_mnist_tanh_6_500_pgd_0.3.txt │ │ │ └── parse_results.py │ │ ├── fairness │ │ │ ├── log_bank.txt │ │ │ ├── log_census.txt │ │ │ ├── log_credit.txt │ │ │ └── parse_results.py │ │ ├── mnist │ │ │ └── log_mnist.txt │ │ ├── reluplex │ │ │ ├── parse_results.py │ │ │ ├── prop1 │ │ │ │ ├── log_prop1_nnet_1_1.txt │ │ │ │ ├── log_prop1_nnet_1_2.txt │ │ │ │ ├── log_prop1_nnet_1_3.txt │ │ │ │ ├── log_prop1_nnet_1_4.txt │ │ │ │ ├── log_prop1_nnet_1_5.txt │ │ │ │ ├── log_prop1_nnet_1_6.txt │ │ │ │ ├── log_prop1_nnet_1_7.txt │ │ │ │ ├── log_prop1_nnet_1_8.txt │ │ │ │ ├── log_prop1_nnet_1_9.txt │ │ │ │ ├── log_prop1_nnet_2_1.txt │ │ │ │ ├── log_prop1_nnet_2_2.txt │ │ │ │ ├── log_prop1_nnet_2_3.txt │ │ │ │ ├── log_prop1_nnet_2_4.txt │ │ │ │ ├── log_prop1_nnet_2_5.txt │ │ │ │ ├── log_prop1_nnet_2_6.txt │ │ │ │ ├── log_prop1_nnet_2_7.txt │ │ │ │ ├── log_prop1_nnet_2_8.txt │ │ │ │ ├── log_prop1_nnet_2_9.txt │ │ │ │ ├── log_prop1_nnet_3_1.txt │ │ │ │ ├── log_prop1_nnet_3_2.txt │ │ │ │ ├── log_prop1_nnet_3_3.txt │ │ │ │ ├── log_prop1_nnet_3_4.txt │ │ │ │ ├── log_prop1_nnet_3_5.txt │ │ │ │ ├── log_prop1_nnet_3_6.txt │ │ │ │ ├── log_prop1_nnet_3_7.txt │ │ │ │ ├── log_prop1_nnet_3_8.txt │ │ │ │ ├── log_prop1_nnet_3_9.txt │ │ │ │ ├── log_prop1_nnet_4_1.txt │ │ │ │ ├── log_prop1_nnet_4_2.txt │ │ │ │ ├── log_prop1_nnet_4_3.txt │ │ │ │ ├── log_prop1_nnet_4_4.txt │ │ │ │ ├── log_prop1_nnet_4_5.txt │ │ │ │ ├── log_prop1_nnet_4_6.txt │ │ │ │ ├── log_prop1_nnet_4_7.txt │ │ │ │ ├── log_prop1_nnet_4_8.txt │ │ │ │ ├── log_prop1_nnet_4_9.txt │ │ │ │ ├── log_prop1_nnet_5_1.txt │ │ │ │ ├── log_prop1_nnet_5_2.txt │ │ │ │ ├── log_prop1_nnet_5_3.txt │ │ │ │ ├── log_prop1_nnet_5_4.txt │ │ │ │ ├── log_prop1_nnet_5_5.txt │ │ │ │ ├── log_prop1_nnet_5_6.txt │ │ │ │ ├── log_prop1_nnet_5_7.txt │ │ │ │ ├── log_prop1_nnet_5_8.txt │ │ │ │ └── log_prop1_nnet_5_9.txt │ │ │ ├── prop10 │ │ │ │ └── log_prop10_nnet_4_5.txt │ │ │ ├── prop2 │ │ │ │ ├── log_prop2_nnet_2_1.txt │ │ │ │ ├── log_prop2_nnet_2_2.txt │ │ │ │ ├── log_prop2_nnet_2_3.txt │ │ │ │ ├── log_prop2_nnet_2_4.txt │ │ │ │ ├── log_prop2_nnet_2_5.txt │ │ │ │ ├── log_prop2_nnet_2_6.txt │ │ │ │ ├── log_prop2_nnet_2_7.txt │ │ │ │ ├── log_prop2_nnet_2_8.txt │ │ │ │ ├── log_prop2_nnet_2_9.txt │ │ │ │ ├── log_prop2_nnet_3_1.txt │ │ │ │ ├── log_prop2_nnet_3_2.txt │ │ │ │ ├── log_prop2_nnet_3_3.txt │ │ │ │ ├── log_prop2_nnet_3_4.txt │ │ │ │ ├── log_prop2_nnet_3_5.txt │ │ │ │ ├── log_prop2_nnet_3_6.txt │ │ │ │ ├── log_prop2_nnet_3_7.txt │ │ │ │ ├── log_prop2_nnet_3_8.txt │ │ │ │ ├── log_prop2_nnet_3_9.txt │ │ │ │ ├── log_prop2_nnet_4_1.txt │ │ │ │ ├── log_prop2_nnet_4_2.txt │ │ │ │ ├── log_prop2_nnet_4_3.txt │ │ │ │ ├── log_prop2_nnet_4_4.txt │ │ │ │ ├── log_prop2_nnet_4_5.txt │ │ │ │ ├── log_prop2_nnet_4_6.txt │ │ │ │ ├── log_prop2_nnet_4_7.txt │ │ │ │ ├── log_prop2_nnet_4_8.txt │ │ │ │ ├── log_prop2_nnet_4_9.txt │ │ │ │ ├── log_prop2_nnet_5_1.txt │ │ │ │ ├── log_prop2_nnet_5_2.txt │ │ │ │ ├── log_prop2_nnet_5_3.txt │ │ │ │ ├── log_prop2_nnet_5_4.txt │ │ │ │ ├── log_prop2_nnet_5_5.txt │ │ │ │ ├── log_prop2_nnet_5_6.txt │ │ │ │ ├── log_prop2_nnet_5_7.txt │ │ │ │ ├── log_prop2_nnet_5_8.txt │ │ │ │ └── log_prop2_nnet_5_9.txt │ │ │ ├── prop3 │ │ │ │ ├── log_prop3_nnet_1_1.txt │ │ │ │ ├── log_prop3_nnet_1_2.txt │ │ │ │ ├── log_prop3_nnet_1_3.txt │ │ │ │ ├── log_prop3_nnet_1_4.txt │ │ │ │ ├── log_prop3_nnet_1_5.txt │ │ │ │ ├── log_prop3_nnet_1_6.txt │ │ │ │ ├── log_prop3_nnet_2_1.txt │ │ │ │ ├── log_prop3_nnet_2_2.txt │ │ │ │ ├── log_prop3_nnet_2_3.txt │ │ │ │ ├── log_prop3_nnet_2_4.txt │ │ │ │ ├── log_prop3_nnet_2_5.txt │ │ │ │ ├── log_prop3_nnet_2_6.txt │ │ │ │ ├── log_prop3_nnet_2_7.txt │ │ │ │ ├── log_prop3_nnet_2_8.txt │ │ │ │ ├── log_prop3_nnet_2_9.txt │ │ │ │ ├── log_prop3_nnet_3_1.txt │ │ │ │ ├── log_prop3_nnet_3_2.txt │ │ │ │ ├── log_prop3_nnet_3_3.txt │ │ │ │ ├── log_prop3_nnet_3_4.txt │ │ │ │ ├── log_prop3_nnet_3_5.txt │ │ │ │ ├── log_prop3_nnet_3_6.txt │ │ │ │ ├── log_prop3_nnet_3_7.txt │ │ │ │ ├── log_prop3_nnet_3_8.txt │ │ │ │ ├── log_prop3_nnet_3_9.txt │ │ │ │ ├── log_prop3_nnet_4_1.txt │ │ │ │ ├── log_prop3_nnet_4_2.txt │ │ │ │ ├── log_prop3_nnet_4_3.txt │ │ │ │ ├── log_prop3_nnet_4_4.txt │ │ │ │ ├── log_prop3_nnet_4_5.txt │ │ │ │ ├── log_prop3_nnet_4_6.txt │ │ │ │ ├── log_prop3_nnet_4_7.txt │ │ │ │ ├── log_prop3_nnet_4_8.txt │ │ │ │ ├── log_prop3_nnet_4_9.txt │ │ │ │ ├── log_prop3_nnet_5_1.txt │ │ │ │ ├── log_prop3_nnet_5_2.txt │ │ │ │ ├── log_prop3_nnet_5_3.txt │ │ │ │ ├── log_prop3_nnet_5_4.txt │ │ │ │ ├── log_prop3_nnet_5_5.txt │ │ │ │ ├── log_prop3_nnet_5_6.txt │ │ │ │ ├── log_prop3_nnet_5_7.txt │ │ │ │ ├── log_prop3_nnet_5_8.txt │ │ │ │ └── log_prop3_nnet_5_9.txt │ │ │ ├── prop4 │ │ │ │ ├── log_prop4_nnet_1_1.txt │ │ │ │ ├── log_prop4_nnet_1_2.txt │ │ │ │ ├── log_prop4_nnet_1_3.txt │ │ │ │ ├── log_prop4_nnet_1_4.txt │ │ │ │ ├── log_prop4_nnet_1_5.txt │ │ │ │ ├── log_prop4_nnet_1_6.txt │ │ │ │ ├── log_prop4_nnet_2_1.txt │ │ │ │ ├── log_prop4_nnet_2_2.txt │ │ │ │ ├── log_prop4_nnet_2_3.txt │ │ │ │ ├── log_prop4_nnet_2_4.txt │ │ │ │ ├── log_prop4_nnet_2_5.txt │ │ │ │ ├── log_prop4_nnet_2_6.txt │ │ │ │ ├── log_prop4_nnet_2_7.txt │ │ │ │ ├── log_prop4_nnet_2_8.txt │ │ │ │ ├── log_prop4_nnet_2_9.txt │ │ │ │ ├── log_prop4_nnet_3_1.txt │ │ │ │ ├── log_prop4_nnet_3_2.txt │ │ │ │ ├── log_prop4_nnet_3_3.txt │ │ │ │ ├── log_prop4_nnet_3_4.txt │ │ │ │ ├── log_prop4_nnet_3_5.txt │ │ │ │ ├── log_prop4_nnet_3_6.txt │ │ │ │ ├── log_prop4_nnet_3_7.txt │ │ │ │ ├── log_prop4_nnet_3_8.txt │ │ │ │ ├── log_prop4_nnet_3_9.txt │ │ │ │ ├── log_prop4_nnet_4_1.txt │ │ │ │ ├── log_prop4_nnet_4_2.txt │ │ │ │ ├── log_prop4_nnet_4_3.txt │ │ │ │ ├── log_prop4_nnet_4_4.txt │ │ │ │ ├── log_prop4_nnet_4_5.txt │ │ │ │ ├── log_prop4_nnet_4_6.txt │ │ │ │ ├── log_prop4_nnet_4_7.txt │ │ │ │ ├── log_prop4_nnet_4_8.txt │ │ │ │ ├── log_prop4_nnet_4_9.txt │ │ │ │ ├── log_prop4_nnet_5_1.txt │ │ │ │ ├── log_prop4_nnet_5_2.txt │ │ │ │ ├── log_prop4_nnet_5_3.txt │ │ │ │ ├── log_prop4_nnet_5_4.txt │ │ │ │ ├── log_prop4_nnet_5_5.txt │ │ │ │ ├── log_prop4_nnet_5_6.txt │ │ │ │ ├── log_prop4_nnet_5_7.txt │ │ │ │ ├── log_prop4_nnet_5_8.txt │ │ │ │ └── log_prop4_nnet_5_9.txt │ │ │ ├── prop5 │ │ │ │ └── log_prop5_nnet_1_1.txt │ │ │ ├── prop6 │ │ │ │ └── log_prop6_nnet_1_1.txt │ │ │ ├── prop7 │ │ │ │ └── log_prop7_nnet_1_9.txt │ │ │ ├── prop8 │ │ │ │ └── log_prop8_nnet_2_9.txt │ │ │ └── prop9 │ │ │ │ └── log_prop9_nnet_3_3.txt │ │ └── rnn_01 │ │ │ ├── log_jigsaw_gru.txt │ │ │ ├── log_jigsaw_lstm.txt │ │ │ ├── log_wiki_gru.txt │ │ │ ├── log_wiki_lstm.txt │ │ │ └── parse_results.py │ ├── results_sprt_090 │ │ ├── eran_01 │ │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ │ ├── log_cifar_conv_small_relu.txt │ │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ │ ├── log_cifar_relu_6_100.txt │ │ │ ├── log_cifar_relu_7_1024.txt │ │ │ ├── log_cifar_relu_9_200.txt │ │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ │ ├── log_mnist_conv_small_relu.txt │ │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ │ ├── log_mnist_relu_4_1024.txt │ │ │ ├── log_mnist_relu_6_100.txt │ │ │ ├── log_mnist_relu_9_200.txt │ │ │ ├── log_mnist_sigmoid_6_500.txt │ │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ │ ├── log_mnist_tanh_6_500.txt │ │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ │ ├── log_mnist_tanh_6_500_pgd_0.3.txt │ │ │ └── parse_results.py │ │ ├── fairness │ │ │ ├── log_bank.txt │ │ │ ├── log_census.txt │ │ │ ├── log_credit.txt │ │ │ └── parse_results.py │ │ ├── mnist │ │ │ ├── log_mnist.txt │ │ │ └── parse_results.py │ │ ├── reluplex │ │ │ ├── parse_results.py │ │ │ ├── prop1 │ │ │ │ ├── log_prop1_nnet_1_1.txt │ │ │ │ ├── log_prop1_nnet_1_2.txt │ │ │ │ ├── log_prop1_nnet_1_3.txt │ │ │ │ ├── log_prop1_nnet_1_4.txt │ │ │ │ ├── log_prop1_nnet_1_5.txt │ │ │ │ ├── log_prop1_nnet_1_6.txt │ │ │ │ ├── log_prop1_nnet_1_7.txt │ │ │ │ ├── log_prop1_nnet_1_8.txt │ │ │ │ ├── log_prop1_nnet_1_9.txt │ │ │ │ ├── log_prop1_nnet_2_1.txt │ │ │ │ ├── log_prop1_nnet_2_2.txt │ │ │ │ ├── log_prop1_nnet_2_3.txt │ │ │ │ ├── log_prop1_nnet_2_4.txt │ │ │ │ ├── log_prop1_nnet_2_5.txt │ │ │ │ ├── log_prop1_nnet_2_6.txt │ │ │ │ ├── log_prop1_nnet_2_7.txt │ │ │ │ ├── log_prop1_nnet_2_8.txt │ │ │ │ ├── log_prop1_nnet_2_9.txt │ │ │ │ ├── log_prop1_nnet_3_1.txt │ │ │ │ ├── log_prop1_nnet_3_2.txt │ │ │ │ ├── log_prop1_nnet_3_3.txt │ │ │ │ ├── log_prop1_nnet_3_4.txt │ │ │ │ ├── log_prop1_nnet_3_5.txt │ │ │ │ ├── log_prop1_nnet_3_6.txt │ │ │ │ ├── log_prop1_nnet_3_7.txt │ │ │ │ ├── log_prop1_nnet_3_8.txt │ │ │ │ ├── log_prop1_nnet_3_9.txt │ │ │ │ ├── log_prop1_nnet_4_1.txt │ │ │ │ ├── log_prop1_nnet_4_2.txt │ │ │ │ ├── log_prop1_nnet_4_3.txt │ │ │ │ ├── log_prop1_nnet_4_4.txt │ │ │ │ ├── log_prop1_nnet_4_5.txt │ │ │ │ ├── log_prop1_nnet_4_6.txt │ │ │ │ ├── log_prop1_nnet_4_7.txt │ │ │ │ ├── log_prop1_nnet_4_8.txt │ │ │ │ ├── log_prop1_nnet_4_9.txt │ │ │ │ ├── log_prop1_nnet_5_1.txt │ │ │ │ ├── log_prop1_nnet_5_2.txt │ │ │ │ ├── log_prop1_nnet_5_3.txt │ │ │ │ ├── log_prop1_nnet_5_4.txt │ │ │ │ ├── log_prop1_nnet_5_5.txt │ │ │ │ ├── log_prop1_nnet_5_6.txt │ │ │ │ ├── log_prop1_nnet_5_7.txt │ │ │ │ ├── log_prop1_nnet_5_8.txt │ │ │ │ └── log_prop1_nnet_5_9.txt │ │ │ ├── prop10 │ │ │ │ └── log_prop10_nnet_4_5.txt │ │ │ ├── prop2 │ │ │ │ ├── log_prop2_nnet_2_1.txt │ │ │ │ ├── log_prop2_nnet_2_2.txt │ │ │ │ ├── log_prop2_nnet_2_3.txt │ │ │ │ ├── log_prop2_nnet_2_4.txt │ │ │ │ ├── log_prop2_nnet_2_5.txt │ │ │ │ ├── log_prop2_nnet_2_6.txt │ │ │ │ ├── log_prop2_nnet_2_7.txt │ │ │ │ ├── log_prop2_nnet_2_8.txt │ │ │ │ ├── log_prop2_nnet_2_9.txt │ │ │ │ ├── log_prop2_nnet_3_1.txt │ │ │ │ ├── log_prop2_nnet_3_2.txt │ │ │ │ ├── log_prop2_nnet_3_3.txt │ │ │ │ ├── log_prop2_nnet_3_4.txt │ │ │ │ ├── log_prop2_nnet_3_5.txt │ │ │ │ ├── log_prop2_nnet_3_6.txt │ │ │ │ ├── log_prop2_nnet_3_7.txt │ │ │ │ ├── log_prop2_nnet_3_8.txt │ │ │ │ ├── log_prop2_nnet_3_9.txt │ │ │ │ ├── log_prop2_nnet_4_1.txt │ │ │ │ ├── log_prop2_nnet_4_2.txt │ │ │ │ ├── log_prop2_nnet_4_3.txt │ │ │ │ ├── log_prop2_nnet_4_4.txt │ │ │ │ ├── log_prop2_nnet_4_5.txt │ │ │ │ ├── log_prop2_nnet_4_6.txt │ │ │ │ ├── log_prop2_nnet_4_7.txt │ │ │ │ ├── log_prop2_nnet_4_8.txt │ │ │ │ ├── log_prop2_nnet_4_9.txt │ │ │ │ ├── log_prop2_nnet_5_1.txt │ │ │ │ ├── log_prop2_nnet_5_2.txt │ │ │ │ ├── log_prop2_nnet_5_3.txt │ │ │ │ ├── log_prop2_nnet_5_4.txt │ │ │ │ ├── log_prop2_nnet_5_5.txt │ │ │ │ ├── log_prop2_nnet_5_6.txt │ │ │ │ ├── log_prop2_nnet_5_7.txt │ │ │ │ ├── log_prop2_nnet_5_8.txt │ │ │ │ └── log_prop2_nnet_5_9.txt │ │ │ ├── prop3 │ │ │ │ ├── log_prop3_nnet_1_1.txt │ │ │ │ ├── log_prop3_nnet_1_2.txt │ │ │ │ ├── log_prop3_nnet_1_3.txt │ │ │ │ ├── log_prop3_nnet_1_4.txt │ │ │ │ ├── log_prop3_nnet_1_5.txt │ │ │ │ ├── log_prop3_nnet_1_6.txt │ │ │ │ ├── log_prop3_nnet_2_1.txt │ │ │ │ ├── log_prop3_nnet_2_2.txt │ │ │ │ ├── log_prop3_nnet_2_3.txt │ │ │ │ ├── log_prop3_nnet_2_4.txt │ │ │ │ ├── log_prop3_nnet_2_5.txt │ │ │ │ ├── log_prop3_nnet_2_6.txt │ │ │ │ ├── log_prop3_nnet_2_7.txt │ │ │ │ ├── log_prop3_nnet_2_8.txt │ │ │ │ ├── log_prop3_nnet_2_9.txt │ │ │ │ ├── log_prop3_nnet_3_1.txt │ │ │ │ ├── log_prop3_nnet_3_2.txt │ │ │ │ ├── log_prop3_nnet_3_3.txt │ │ │ │ ├── log_prop3_nnet_3_4.txt │ │ │ │ ├── log_prop3_nnet_3_5.txt │ │ │ │ ├── log_prop3_nnet_3_6.txt │ │ │ │ ├── log_prop3_nnet_3_7.txt │ │ │ │ ├── log_prop3_nnet_3_8.txt │ │ │ │ ├── log_prop3_nnet_3_9.txt │ │ │ │ ├── log_prop3_nnet_4_1.txt │ │ │ │ ├── log_prop3_nnet_4_2.txt │ │ │ │ ├── log_prop3_nnet_4_3.txt │ │ │ │ ├── log_prop3_nnet_4_4.txt │ │ │ │ ├── log_prop3_nnet_4_5.txt │ │ │ │ ├── log_prop3_nnet_4_6.txt │ │ │ │ ├── log_prop3_nnet_4_7.txt │ │ │ │ ├── log_prop3_nnet_4_8.txt │ │ │ │ ├── log_prop3_nnet_4_9.txt │ │ │ │ ├── log_prop3_nnet_5_1.txt │ │ │ │ ├── log_prop3_nnet_5_2.txt │ │ │ │ ├── log_prop3_nnet_5_3.txt │ │ │ │ ├── log_prop3_nnet_5_4.txt │ │ │ │ ├── log_prop3_nnet_5_5.txt │ │ │ │ ├── log_prop3_nnet_5_6.txt │ │ │ │ ├── log_prop3_nnet_5_7.txt │ │ │ │ ├── log_prop3_nnet_5_8.txt │ │ │ │ └── log_prop3_nnet_5_9.txt │ │ │ ├── prop4 │ │ │ │ ├── log_prop4_nnet_1_1.txt │ │ │ │ ├── log_prop4_nnet_1_2.txt │ │ │ │ ├── log_prop4_nnet_1_3.txt │ │ │ │ ├── log_prop4_nnet_1_4.txt │ │ │ │ ├── log_prop4_nnet_1_5.txt │ │ │ │ ├── log_prop4_nnet_1_6.txt │ │ │ │ ├── log_prop4_nnet_2_1.txt │ │ │ │ ├── log_prop4_nnet_2_2.txt │ │ │ │ ├── log_prop4_nnet_2_3.txt │ │ │ │ ├── log_prop4_nnet_2_4.txt │ │ │ │ ├── log_prop4_nnet_2_5.txt │ │ │ │ ├── log_prop4_nnet_2_6.txt │ │ │ │ ├── log_prop4_nnet_2_7.txt │ │ │ │ ├── log_prop4_nnet_2_8.txt │ │ │ │ ├── log_prop4_nnet_2_9.txt │ │ │ │ ├── log_prop4_nnet_3_1.txt │ │ │ │ ├── log_prop4_nnet_3_2.txt │ │ │ │ ├── log_prop4_nnet_3_3.txt │ │ │ │ ├── log_prop4_nnet_3_4.txt │ │ │ │ ├── log_prop4_nnet_3_5.txt │ │ │ │ ├── log_prop4_nnet_3_6.txt │ │ │ │ ├── log_prop4_nnet_3_7.txt │ │ │ │ ├── log_prop4_nnet_3_8.txt │ │ │ │ ├── log_prop4_nnet_3_9.txt │ │ │ │ ├── log_prop4_nnet_4_1.txt │ │ │ │ ├── log_prop4_nnet_4_2.txt │ │ │ │ ├── log_prop4_nnet_4_3.txt │ │ │ │ ├── log_prop4_nnet_4_4.txt │ │ │ │ ├── log_prop4_nnet_4_5.txt │ │ │ │ ├── log_prop4_nnet_4_6.txt │ │ │ │ ├── log_prop4_nnet_4_7.txt │ │ │ │ ├── log_prop4_nnet_4_8.txt │ │ │ │ ├── log_prop4_nnet_4_9.txt │ │ │ │ ├── log_prop4_nnet_5_1.txt │ │ │ │ ├── log_prop4_nnet_5_2.txt │ │ │ │ ├── log_prop4_nnet_5_3.txt │ │ │ │ ├── log_prop4_nnet_5_4.txt │ │ │ │ ├── log_prop4_nnet_5_5.txt │ │ │ │ ├── log_prop4_nnet_5_6.txt │ │ │ │ ├── log_prop4_nnet_5_7.txt │ │ │ │ ├── log_prop4_nnet_5_8.txt │ │ │ │ └── log_prop4_nnet_5_9.txt │ │ │ ├── prop5 │ │ │ │ └── log_prop5_nnet_1_1.txt │ │ │ ├── prop6 │ │ │ │ └── log_prop6_nnet_1_1.txt │ │ │ ├── prop7 │ │ │ │ └── log_prop7_nnet_1_9.txt │ │ │ ├── prop8 │ │ │ │ └── log_prop8_nnet_2_9.txt │ │ │ └── prop9 │ │ │ │ └── log_prop9_nnet_3_3.txt │ │ └── rnn_01 │ │ │ ├── log_jigsaw_gru.txt │ │ │ ├── log_jigsaw_lstm.txt │ │ │ ├── log_wiki_gru.txt │ │ │ ├── log_wiki_lstm.txt │ │ │ └── parse_results.py │ ├── results_sprt_095 │ │ ├── eran_01 │ │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ │ ├── log_cifar_conv_small_relu.txt │ │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ │ ├── log_cifar_relu_6_100.txt │ │ │ ├── log_cifar_relu_7_1024.txt │ │ │ ├── log_cifar_relu_9_200.txt │ │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ │ ├── log_mnist_conv_small_relu.txt │ │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ │ ├── log_mnist_relu_4_1024.txt │ │ │ ├── log_mnist_relu_6_100.txt │ │ │ ├── log_mnist_relu_9_200.txt │ │ │ ├── log_mnist_sigmoid_6_500.txt │ │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ │ ├── log_mnist_tanh_6_500.txt │ │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ │ ├── log_mnist_tanh_6_500_pgd_0.3.txt │ │ │ └── parse_results.py │ │ ├── fairness │ │ │ ├── log_bank.txt │ │ │ ├── log_census.txt │ │ │ ├── log_credit.txt │ │ │ └── parse_results.py │ │ ├── mnist │ │ │ ├── log_mnist.txt │ │ │ └── parse_results.py │ │ ├── reluplex │ │ │ ├── parse_results.py │ │ │ ├── prop1 │ │ │ │ ├── log_prop1_nnet_1_1.txt │ │ │ │ ├── log_prop1_nnet_1_2.txt │ │ │ │ ├── log_prop1_nnet_1_3.txt │ │ │ │ ├── log_prop1_nnet_1_4.txt │ │ │ │ ├── log_prop1_nnet_1_5.txt │ │ │ │ ├── log_prop1_nnet_1_6.txt │ │ │ │ ├── log_prop1_nnet_1_7.txt │ │ │ │ ├── log_prop1_nnet_1_8.txt │ │ │ │ ├── log_prop1_nnet_1_9.txt │ │ │ │ ├── log_prop1_nnet_2_1.txt │ │ │ │ ├── log_prop1_nnet_2_2.txt │ │ │ │ ├── log_prop1_nnet_2_3.txt │ │ │ │ ├── log_prop1_nnet_2_4.txt │ │ │ │ ├── log_prop1_nnet_2_5.txt │ │ │ │ ├── log_prop1_nnet_2_6.txt │ │ │ │ ├── log_prop1_nnet_2_7.txt │ │ │ │ ├── log_prop1_nnet_2_8.txt │ │ │ │ ├── log_prop1_nnet_2_9.txt │ │ │ │ ├── log_prop1_nnet_3_1.txt │ │ │ │ ├── log_prop1_nnet_3_2.txt │ │ │ │ ├── log_prop1_nnet_3_3.txt │ │ │ │ ├── log_prop1_nnet_3_4.txt │ │ │ │ ├── log_prop1_nnet_3_5.txt │ │ │ │ ├── log_prop1_nnet_3_6.txt │ │ │ │ ├── log_prop1_nnet_3_7.txt │ │ │ │ ├── log_prop1_nnet_3_8.txt │ │ │ │ ├── log_prop1_nnet_3_9.txt │ │ │ │ ├── log_prop1_nnet_4_1.txt │ │ │ │ ├── log_prop1_nnet_4_2.txt │ │ │ │ ├── log_prop1_nnet_4_3.txt │ │ │ │ ├── log_prop1_nnet_4_4.txt │ │ │ │ ├── log_prop1_nnet_4_5.txt │ │ │ │ ├── log_prop1_nnet_4_6.txt │ │ │ │ ├── log_prop1_nnet_4_7.txt │ │ │ │ ├── log_prop1_nnet_4_8.txt │ │ │ │ ├── log_prop1_nnet_4_9.txt │ │ │ │ ├── log_prop1_nnet_5_1.txt │ │ │ │ ├── log_prop1_nnet_5_2.txt │ │ │ │ ├── log_prop1_nnet_5_3.txt │ │ │ │ ├── log_prop1_nnet_5_4.txt │ │ │ │ ├── log_prop1_nnet_5_5.txt │ │ │ │ ├── log_prop1_nnet_5_6.txt │ │ │ │ ├── log_prop1_nnet_5_7.txt │ │ │ │ ├── log_prop1_nnet_5_8.txt │ │ │ │ └── log_prop1_nnet_5_9.txt │ │ │ ├── prop10 │ │ │ │ └── log_prop10_nnet_4_5.txt │ │ │ ├── prop2 │ │ │ │ ├── log_prop2_nnet_2_1.txt │ │ │ │ ├── log_prop2_nnet_2_2.txt │ │ │ │ ├── log_prop2_nnet_2_3.txt │ │ │ │ ├── log_prop2_nnet_2_4.txt │ │ │ │ ├── log_prop2_nnet_2_5.txt │ │ │ │ ├── log_prop2_nnet_2_6.txt │ │ │ │ ├── log_prop2_nnet_2_7.txt │ │ │ │ ├── log_prop2_nnet_2_8.txt │ │ │ │ ├── log_prop2_nnet_2_9.txt │ │ │ │ ├── log_prop2_nnet_3_1.txt │ │ │ │ ├── log_prop2_nnet_3_2.txt │ │ │ │ ├── log_prop2_nnet_3_3.txt │ │ │ │ ├── log_prop2_nnet_3_4.txt │ │ │ │ ├── log_prop2_nnet_3_5.txt │ │ │ │ ├── log_prop2_nnet_3_6.txt │ │ │ │ ├── log_prop2_nnet_3_7.txt │ │ │ │ ├── log_prop2_nnet_3_8.txt │ │ │ │ ├── log_prop2_nnet_3_9.txt │ │ │ │ ├── log_prop2_nnet_4_1.txt │ │ │ │ ├── log_prop2_nnet_4_2.txt │ │ │ │ ├── log_prop2_nnet_4_3.txt │ │ │ │ ├── log_prop2_nnet_4_4.txt │ │ │ │ ├── log_prop2_nnet_4_5.txt │ │ │ │ ├── log_prop2_nnet_4_6.txt │ │ │ │ ├── log_prop2_nnet_4_7.txt │ │ │ │ ├── log_prop2_nnet_4_8.txt │ │ │ │ ├── log_prop2_nnet_4_9.txt │ │ │ │ ├── log_prop2_nnet_5_1.txt │ │ │ │ ├── log_prop2_nnet_5_2.txt │ │ │ │ ├── log_prop2_nnet_5_3.txt │ │ │ │ ├── log_prop2_nnet_5_4.txt │ │ │ │ ├── log_prop2_nnet_5_5.txt │ │ │ │ ├── log_prop2_nnet_5_6.txt │ │ │ │ ├── log_prop2_nnet_5_7.txt │ │ │ │ ├── log_prop2_nnet_5_8.txt │ │ │ │ └── log_prop2_nnet_5_9.txt │ │ │ ├── prop3 │ │ │ │ ├── log_prop3_nnet_1_1.txt │ │ │ │ ├── log_prop3_nnet_1_2.txt │ │ │ │ ├── log_prop3_nnet_1_3.txt │ │ │ │ ├── log_prop3_nnet_1_4.txt │ │ │ │ ├── log_prop3_nnet_1_5.txt │ │ │ │ ├── log_prop3_nnet_1_6.txt │ │ │ │ ├── log_prop3_nnet_2_1.txt │ │ │ │ ├── log_prop3_nnet_2_2.txt │ │ │ │ ├── log_prop3_nnet_2_3.txt │ │ │ │ ├── log_prop3_nnet_2_4.txt │ │ │ │ ├── log_prop3_nnet_2_5.txt │ │ │ │ ├── log_prop3_nnet_2_6.txt │ │ │ │ ├── log_prop3_nnet_2_7.txt │ │ │ │ ├── log_prop3_nnet_2_8.txt │ │ │ │ ├── log_prop3_nnet_2_9.txt │ │ │ │ ├── log_prop3_nnet_3_1.txt │ │ │ │ ├── log_prop3_nnet_3_2.txt │ │ │ │ ├── log_prop3_nnet_3_3.txt │ │ │ │ ├── log_prop3_nnet_3_4.txt │ │ │ │ ├── log_prop3_nnet_3_5.txt │ │ │ │ ├── log_prop3_nnet_3_6.txt │ │ │ │ ├── log_prop3_nnet_3_7.txt │ │ │ │ ├── log_prop3_nnet_3_8.txt │ │ │ │ ├── log_prop3_nnet_3_9.txt │ │ │ │ ├── log_prop3_nnet_4_1.txt │ │ │ │ ├── log_prop3_nnet_4_2.txt │ │ │ │ ├── log_prop3_nnet_4_3.txt │ │ │ │ ├── log_prop3_nnet_4_4.txt │ │ │ │ ├── log_prop3_nnet_4_5.txt │ │ │ │ ├── log_prop3_nnet_4_6.txt │ │ │ │ ├── log_prop3_nnet_4_7.txt │ │ │ │ ├── log_prop3_nnet_4_8.txt │ │ │ │ ├── log_prop3_nnet_4_9.txt │ │ │ │ ├── log_prop3_nnet_5_1.txt │ │ │ │ ├── log_prop3_nnet_5_2.txt │ │ │ │ ├── log_prop3_nnet_5_3.txt │ │ │ │ ├── log_prop3_nnet_5_4.txt │ │ │ │ ├── log_prop3_nnet_5_5.txt │ │ │ │ ├── log_prop3_nnet_5_6.txt │ │ │ │ ├── log_prop3_nnet_5_7.txt │ │ │ │ ├── log_prop3_nnet_5_8.txt │ │ │ │ └── log_prop3_nnet_5_9.txt │ │ │ ├── prop4 │ │ │ │ ├── log_prop4_nnet_1_1.txt │ │ │ │ ├── log_prop4_nnet_1_2.txt │ │ │ │ ├── log_prop4_nnet_1_3.txt │ │ │ │ ├── log_prop4_nnet_1_4.txt │ │ │ │ ├── log_prop4_nnet_1_5.txt │ │ │ │ ├── log_prop4_nnet_1_6.txt │ │ │ │ ├── log_prop4_nnet_2_1.txt │ │ │ │ ├── log_prop4_nnet_2_2.txt │ │ │ │ ├── log_prop4_nnet_2_3.txt │ │ │ │ ├── log_prop4_nnet_2_4.txt │ │ │ │ ├── log_prop4_nnet_2_5.txt │ │ │ │ ├── log_prop4_nnet_2_6.txt │ │ │ │ ├── log_prop4_nnet_2_7.txt │ │ │ │ ├── log_prop4_nnet_2_8.txt │ │ │ │ ├── log_prop4_nnet_2_9.txt │ │ │ │ ├── log_prop4_nnet_3_1.txt │ │ │ │ ├── log_prop4_nnet_3_2.txt │ │ │ │ ├── log_prop4_nnet_3_3.txt │ │ │ │ ├── log_prop4_nnet_3_4.txt │ │ │ │ ├── log_prop4_nnet_3_5.txt │ │ │ │ ├── log_prop4_nnet_3_6.txt │ │ │ │ ├── log_prop4_nnet_3_7.txt │ │ │ │ ├── log_prop4_nnet_3_8.txt │ │ │ │ ├── log_prop4_nnet_3_9.txt │ │ │ │ ├── log_prop4_nnet_4_1.txt │ │ │ │ ├── log_prop4_nnet_4_2.txt │ │ │ │ ├── log_prop4_nnet_4_3.txt │ │ │ │ ├── log_prop4_nnet_4_4.txt │ │ │ │ ├── log_prop4_nnet_4_5.txt │ │ │ │ ├── log_prop4_nnet_4_6.txt │ │ │ │ ├── log_prop4_nnet_4_7.txt │ │ │ │ ├── log_prop4_nnet_4_8.txt │ │ │ │ ├── log_prop4_nnet_4_9.txt │ │ │ │ ├── log_prop4_nnet_5_1.txt │ │ │ │ ├── log_prop4_nnet_5_2.txt │ │ │ │ ├── log_prop4_nnet_5_3.txt │ │ │ │ ├── log_prop4_nnet_5_4.txt │ │ │ │ ├── log_prop4_nnet_5_5.txt │ │ │ │ ├── log_prop4_nnet_5_6.txt │ │ │ │ ├── log_prop4_nnet_5_7.txt │ │ │ │ ├── log_prop4_nnet_5_8.txt │ │ │ │ └── log_prop4_nnet_5_9.txt │ │ │ ├── prop5 │ │ │ │ └── log_prop5_nnet_1_1.txt │ │ │ ├── prop6 │ │ │ │ └── log_prop6_nnet_1_1.txt │ │ │ ├── prop7 │ │ │ │ └── log_prop7_nnet_1_9.txt │ │ │ ├── prop8 │ │ │ │ └── log_prop8_nnet_2_9.txt │ │ │ └── prop9 │ │ │ │ └── log_prop9_nnet_3_3.txt │ │ └── rnn_01 │ │ │ ├── log_jigsaw_gru.txt │ │ │ ├── log_jigsaw_lstm.txt │ │ │ ├── log_wiki_gru.txt │ │ │ ├── log_wiki_lstm.txt │ │ │ └── parse_results.py │ └── results_sprt_099 │ │ ├── eran_01 │ │ ├── log_cifar_conv_big_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu.txt │ │ ├── log_cifar_conv_small_relu_diffai.txt │ │ ├── log_cifar_conv_small_relu_pgd.txt │ │ ├── log_cifar_relu_6_100.txt │ │ ├── log_cifar_relu_7_1024.txt │ │ ├── log_cifar_relu_9_200.txt │ │ ├── log_mnist_conv_big_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu.txt │ │ ├── log_mnist_conv_small_relu_diffai.txt │ │ ├── log_mnist_conv_small_relu_pgd.txt │ │ ├── log_mnist_conv_super_relu_diffai.txt │ │ ├── log_mnist_relu_4_1024.txt │ │ ├── log_mnist_relu_6_100.txt │ │ ├── log_mnist_relu_9_200.txt │ │ ├── log_mnist_sigmoid_6_500.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.1.txt │ │ ├── log_mnist_sigmoid_6_500_pgd_0.3.txt │ │ ├── log_mnist_tanh_6_500.txt │ │ ├── log_mnist_tanh_6_500_pgd_0.1.txt │ │ ├── log_mnist_tanh_6_500_pgd_0.3.txt │ │ └── parse_results.py │ │ ├── fairness │ │ ├── log_bank.txt │ │ ├── log_census.txt │ │ ├── log_credit.txt │ │ └── parse_results.py │ │ ├── mnist │ │ ├── log_mnist.txt │ │ └── parse_results.py │ │ ├── reluplex │ │ ├── parse_results.py │ │ ├── prop1 │ │ │ ├── log_prop1_nnet_1_1.txt │ │ │ ├── log_prop1_nnet_1_2.txt │ │ │ ├── log_prop1_nnet_1_3.txt │ │ │ ├── log_prop1_nnet_1_4.txt │ │ │ ├── log_prop1_nnet_1_5.txt │ │ │ ├── log_prop1_nnet_1_6.txt │ │ │ ├── log_prop1_nnet_1_7.txt │ │ │ ├── log_prop1_nnet_1_8.txt │ │ │ ├── log_prop1_nnet_1_9.txt │ │ │ ├── log_prop1_nnet_2_1.txt │ │ │ ├── log_prop1_nnet_2_2.txt │ │ │ ├── log_prop1_nnet_2_3.txt │ │ │ ├── log_prop1_nnet_2_4.txt │ │ │ ├── log_prop1_nnet_2_5.txt │ │ │ ├── log_prop1_nnet_2_6.txt │ │ │ ├── log_prop1_nnet_2_7.txt │ │ │ ├── log_prop1_nnet_2_8.txt │ │ │ ├── log_prop1_nnet_2_9.txt │ │ │ ├── log_prop1_nnet_3_1.txt │ │ │ ├── log_prop1_nnet_3_2.txt │ │ │ ├── log_prop1_nnet_3_3.txt │ │ │ ├── log_prop1_nnet_3_4.txt │ │ │ ├── log_prop1_nnet_3_5.txt │ │ │ ├── log_prop1_nnet_3_6.txt │ │ │ ├── log_prop1_nnet_3_7.txt │ │ │ ├── log_prop1_nnet_3_8.txt │ │ │ ├── log_prop1_nnet_3_9.txt │ │ │ ├── log_prop1_nnet_4_1.txt │ │ │ ├── log_prop1_nnet_4_2.txt │ │ │ ├── log_prop1_nnet_4_3.txt │ │ │ ├── log_prop1_nnet_4_4.txt │ │ │ ├── log_prop1_nnet_4_5.txt │ │ │ ├── log_prop1_nnet_4_6.txt │ │ │ ├── log_prop1_nnet_4_7.txt │ │ │ ├── log_prop1_nnet_4_8.txt │ │ │ ├── log_prop1_nnet_4_9.txt │ │ │ ├── log_prop1_nnet_5_1.txt │ │ │ ├── log_prop1_nnet_5_2.txt │ │ │ ├── log_prop1_nnet_5_3.txt │ │ │ ├── log_prop1_nnet_5_4.txt │ │ │ ├── log_prop1_nnet_5_5.txt │ │ │ ├── log_prop1_nnet_5_6.txt │ │ │ ├── log_prop1_nnet_5_7.txt │ │ │ ├── log_prop1_nnet_5_8.txt │ │ │ └── log_prop1_nnet_5_9.txt │ │ ├── prop10 │ │ │ └── log_prop10_nnet_4_5.txt │ │ ├── prop2 │ │ │ ├── log_prop2_nnet_2_1.txt │ │ │ ├── log_prop2_nnet_2_2.txt │ │ │ ├── log_prop2_nnet_2_3.txt │ │ │ ├── log_prop2_nnet_2_4.txt │ │ │ ├── log_prop2_nnet_2_5.txt │ │ │ ├── log_prop2_nnet_2_6.txt │ │ │ ├── log_prop2_nnet_2_7.txt │ │ │ ├── log_prop2_nnet_2_8.txt │ │ │ ├── log_prop2_nnet_2_9.txt │ │ │ ├── log_prop2_nnet_3_1.txt │ │ │ ├── log_prop2_nnet_3_2.txt │ │ │ ├── log_prop2_nnet_3_3.txt │ │ │ ├── log_prop2_nnet_3_4.txt │ │ │ ├── log_prop2_nnet_3_5.txt │ │ │ ├── log_prop2_nnet_3_6.txt │ │ │ ├── log_prop2_nnet_3_7.txt │ │ │ ├── log_prop2_nnet_3_8.txt │ │ │ ├── log_prop2_nnet_3_9.txt │ │ │ ├── log_prop2_nnet_4_1.txt │ │ │ ├── log_prop2_nnet_4_2.txt │ │ │ ├── log_prop2_nnet_4_3.txt │ │ │ ├── log_prop2_nnet_4_4.txt │ │ │ ├── log_prop2_nnet_4_5.txt │ │ │ ├── log_prop2_nnet_4_6.txt │ │ │ ├── log_prop2_nnet_4_7.txt │ │ │ ├── log_prop2_nnet_4_8.txt │ │ │ ├── log_prop2_nnet_4_9.txt │ │ │ ├── log_prop2_nnet_5_1.txt │ │ │ ├── log_prop2_nnet_5_2.txt │ │ │ ├── log_prop2_nnet_5_3.txt │ │ │ ├── log_prop2_nnet_5_4.txt │ │ │ ├── log_prop2_nnet_5_5.txt │ │ │ ├── log_prop2_nnet_5_6.txt │ │ │ ├── log_prop2_nnet_5_7.txt │ │ │ ├── log_prop2_nnet_5_8.txt │ │ │ └── log_prop2_nnet_5_9.txt │ │ ├── prop3 │ │ │ ├── log_prop3_nnet_1_1.txt │ │ │ ├── log_prop3_nnet_1_2.txt │ │ │ ├── log_prop3_nnet_1_3.txt │ │ │ ├── log_prop3_nnet_1_4.txt │ │ │ ├── log_prop3_nnet_1_5.txt │ │ │ ├── log_prop3_nnet_1_6.txt │ │ │ ├── log_prop3_nnet_2_1.txt │ │ │ ├── log_prop3_nnet_2_2.txt │ │ │ ├── log_prop3_nnet_2_3.txt │ │ │ ├── log_prop3_nnet_2_4.txt │ │ │ ├── log_prop3_nnet_2_5.txt │ │ │ ├── log_prop3_nnet_2_6.txt │ │ │ ├── log_prop3_nnet_2_7.txt │ │ │ ├── log_prop3_nnet_2_8.txt │ │ │ ├── log_prop3_nnet_2_9.txt │ │ │ ├── log_prop3_nnet_3_1.txt │ │ │ ├── log_prop3_nnet_3_2.txt │ │ │ ├── log_prop3_nnet_3_3.txt │ │ │ ├── log_prop3_nnet_3_4.txt │ │ │ ├── log_prop3_nnet_3_5.txt │ │ │ ├── log_prop3_nnet_3_6.txt │ │ │ ├── log_prop3_nnet_3_7.txt │ │ │ ├── log_prop3_nnet_3_8.txt │ │ │ ├── log_prop3_nnet_3_9.txt │ │ │ ├── log_prop3_nnet_4_1.txt │ │ │ ├── log_prop3_nnet_4_2.txt │ │ │ ├── log_prop3_nnet_4_3.txt │ │ │ ├── log_prop3_nnet_4_4.txt │ │ │ ├── log_prop3_nnet_4_5.txt │ │ │ ├── log_prop3_nnet_4_6.txt │ │ │ ├── log_prop3_nnet_4_7.txt │ │ │ ├── log_prop3_nnet_4_8.txt │ │ │ ├── log_prop3_nnet_4_9.txt │ │ │ ├── log_prop3_nnet_5_1.txt │ │ │ ├── log_prop3_nnet_5_2.txt │ │ │ ├── log_prop3_nnet_5_3.txt │ │ │ ├── log_prop3_nnet_5_4.txt │ │ │ ├── log_prop3_nnet_5_5.txt │ │ │ ├── log_prop3_nnet_5_6.txt │ │ │ ├── log_prop3_nnet_5_7.txt │ │ │ ├── log_prop3_nnet_5_8.txt │ │ │ └── log_prop3_nnet_5_9.txt │ │ ├── prop4 │ │ │ ├── log_prop4_nnet_1_1.txt │ │ │ ├── log_prop4_nnet_1_2.txt │ │ │ ├── log_prop4_nnet_1_3.txt │ │ │ ├── log_prop4_nnet_1_4.txt │ │ │ ├── log_prop4_nnet_1_5.txt │ │ │ ├── log_prop4_nnet_1_6.txt │ │ │ ├── log_prop4_nnet_2_1.txt │ │ │ ├── log_prop4_nnet_2_2.txt │ │ │ ├── log_prop4_nnet_2_3.txt │ │ │ ├── log_prop4_nnet_2_4.txt │ │ │ ├── log_prop4_nnet_2_5.txt │ │ │ ├── log_prop4_nnet_2_6.txt │ │ │ ├── log_prop4_nnet_2_7.txt │ │ │ ├── log_prop4_nnet_2_8.txt │ │ │ ├── log_prop4_nnet_2_9.txt │ │ │ ├── log_prop4_nnet_3_1.txt │ │ │ ├── log_prop4_nnet_3_2.txt │ │ │ ├── log_prop4_nnet_3_3.txt │ │ │ ├── log_prop4_nnet_3_4.txt │ │ │ ├── log_prop4_nnet_3_5.txt │ │ │ ├── log_prop4_nnet_3_6.txt │ │ │ ├── log_prop4_nnet_3_7.txt │ │ │ ├── log_prop4_nnet_3_8.txt │ │ │ ├── log_prop4_nnet_3_9.txt │ │ │ ├── log_prop4_nnet_4_1.txt │ │ │ ├── log_prop4_nnet_4_2.txt │ │ │ ├── log_prop4_nnet_4_3.txt │ │ │ ├── log_prop4_nnet_4_4.txt │ │ │ ├── log_prop4_nnet_4_5.txt │ │ │ ├── log_prop4_nnet_4_6.txt │ │ │ ├── log_prop4_nnet_4_7.txt │ │ │ ├── log_prop4_nnet_4_8.txt │ │ │ ├── log_prop4_nnet_4_9.txt │ │ │ ├── log_prop4_nnet_5_1.txt │ │ │ ├── log_prop4_nnet_5_2.txt │ │ │ ├── log_prop4_nnet_5_3.txt │ │ │ ├── log_prop4_nnet_5_4.txt │ │ │ ├── log_prop4_nnet_5_5.txt │ │ │ ├── log_prop4_nnet_5_6.txt │ │ │ ├── log_prop4_nnet_5_7.txt │ │ │ ├── log_prop4_nnet_5_8.txt │ │ │ └── log_prop4_nnet_5_9.txt │ │ ├── prop5 │ │ │ └── log_prop5_nnet_1_1.txt │ │ ├── prop6 │ │ │ └── log_prop6_nnet_1_1.txt │ │ ├── prop7 │ │ │ └── log_prop7_nnet_1_9.txt │ │ ├── prop8 │ │ │ └── log_prop8_nnet_2_9.txt │ │ └── prop9 │ │ │ └── log_prop9_nnet_3_3.txt │ │ └── rnn_01 │ │ ├── log_jigsaw_gru.txt │ │ ├── log_jigsaw_lstm.txt │ │ ├── log_wiki_gru.txt │ │ ├── log_wiki_lstm.txt │ │ └── parse_results.py └── summary.xlsx ├── gurobi.env ├── scripts ├── eran_opti_01.sh ├── eran_sprt_090_01.sh ├── eran_sprt_095_01.sh ├── eran_sprt_099_01.sh ├── fairness_opti.sh ├── fairness_refinement.sh ├── fairness_sprt_090.sh ├── fairness_sprt_095.sh ├── fairness_sprt_099.sh ├── mnist_opti.sh ├── mnist_sprt_090.sh ├── mnist_sprt_095.sh ├── mnist_sprt_099.sh ├── reluplex_opti.sh ├── reluplex_sprt_090.sh ├── reluplex_sprt_095.sh ├── reluplex_sprt_099.sh ├── rnn_opti_01.sh ├── rnn_sprt_090_01.sh ├── rnn_sprt_095_01.sh ├── rnn_sprt_099_01.sh ├── run_all.sh ├── run_backdoor.sh ├── run_backdoor_attack.sh ├── run_backdoor_hyptest1.sh ├── run_backdoor_hyptest2.sh ├── run_backdoor_hyptest3.sh ├── run_backdoor_hyptest4.sh ├── run_backdoor_repair_gen.sh ├── run_backdoor_repair_kwn.sh ├── run_backdoor_verifyI1.sh ├── run_backdoor_verifyI2.sh ├── run_backdoor_verifyI3.sh ├── run_causality.sh ├── run_continual.sh ├── run_mnist.sh ├── run_refinement.sh ├── run_refinement_cifar.sh ├── run_refinement_cifar_ref1.sh ├── run_refinement_cifar_ref2.sh ├── run_refinement_ref1.sh └── run_refinement_ref2.sh └── source ├── assertion ├── Assertion.g4 ├── AssertionLexer.py ├── AssertionListener.py ├── AssertionParser.py ├── AssertionVisitor.py ├── lib_assertions.py └── lib_functions.py ├── display.py ├── json_parser.py ├── main.py ├── model ├── lib_layers.py └── lib_models.py ├── nn_utils.py ├── poly_utils.py ├── run_backdoor.py ├── run_backdoor_repair.py ├── run_causal.py ├── run_continual.py ├── run_eran.py ├── run_fairness.py ├── run_fairness_dtmc.py ├── run_fairness_verifair.py ├── run_mnist.py ├── run_refinement.py ├── run_refinement_cifar.py ├── run_reluplex.py ├── run_rnn.py ├── run_rnn_fairness.py ├── solver ├── backdoor_impl.py ├── backdoor_repair_impl.py ├── causal_impl.py ├── continual_impl1.py ├── continual_impl2.py ├── continual_impl3.py ├── dtmc_impl.py ├── dtmc_rnn.py ├── lib_solvers.py ├── optimize_impl.py ├── refinement_impl.py ├── sprt_impl.py ├── verifair_impl.py └── verify.py └── utils.py /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/README.md -------------------------------------------------------------------------------- /clib/clib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/clib/clib.c -------------------------------------------------------------------------------- /clib/makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/clib/makefile -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_cifar_conv_small_relu.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_cifar_conv_small_relu.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_cifar_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_cifar_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_cifar_relu_7_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_cifar_relu_7_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_cifar_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_cifar_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_mnist_conv_small_relu.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_mnist_conv_small_relu.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_mnist_relu_4_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_mnist_relu_4_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_mnist_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_mnist_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_mnist_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_mnist_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_mnist_sigmoid_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_mnist_sigmoid_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/deeppoly_0.1/log_mnist_tanh_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deeppoly_0.1/log_mnist_tanh_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_cifar_conv_small_relu.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_cifar_conv_small_relu.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_cifar_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_cifar_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_cifar_relu_7_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_cifar_relu_7_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_cifar_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_cifar_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_mnist_conv_small_relu.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_mnist_conv_small_relu.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_mnist_relu_4_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_mnist_relu_4_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_mnist_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_mnist_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_mnist_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_mnist_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_mnist_sigmoid_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_mnist_sigmoid_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/deepzono_0.1/log_mnist_tanh_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/deepzono_0.1/log_mnist_tanh_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/parse_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/parse_results.py -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_cifar_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_cifar_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_cifar_relu_7_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_cifar_relu_7_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_cifar_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_cifar_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_mnist_relu_4_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_mnist_relu_4_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_mnist_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_mnist_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_mnist_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_mnist_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_mnist_sigmoid_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_mnist_sigmoid_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/refinepoly_0.1/log_mnist_tanh_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinepoly_0.1/log_mnist_tanh_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_cifar_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_cifar_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_cifar_relu_7_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_cifar_relu_7_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_cifar_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_cifar_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_mnist_relu_4_1024.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_mnist_relu_4_1024.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_mnist_relu_6_100.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_mnist_relu_6_100.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_mnist_relu_9_200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_mnist_relu_9_200.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_mnist_sigmoid_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_mnist_sigmoid_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/refinezono_0.1/log_mnist_tanh_6_500.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/refinezono_0.1/log_mnist_tanh_6_500.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec10_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec10_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_1_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_1_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec1_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec1_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec2_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec2_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_1_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_1_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_1_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_1_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_1_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec3_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec3_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_1_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_1_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_1_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_1_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_1_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec4_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec4_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec5_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec5_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec6_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec6_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec7_net_1_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec7_net_1_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec8_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec8_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deeppoly/spec9_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deeppoly/spec9_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec10_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec10_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_1_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_1_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec1_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec1_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec2_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec2_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_1_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_1_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_1_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_1_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_1_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec3_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec3_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_1_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_1_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_1_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_1_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_1_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec4_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec4_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec5_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec5_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec6_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec6_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec7_net_1_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec7_net_1_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec8_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec8_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/deepzono/spec9_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/deepzono/spec9_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/parse_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/parse_results.py -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec10_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec10_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_1_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_1_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_4_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec1_net_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec1_net_5_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_2_9.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_1.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_2.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_3.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_4.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_5.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_6.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_7.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_8.txt -------------------------------------------------------------------------------- /exp-results/eran/results_acas/refinepoly/spec2_net_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/results_acas/refinepoly/spec2_net_3_9.txt -------------------------------------------------------------------------------- /exp-results/eran/scripts/run_deeppoly_0.1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts/run_deeppoly_0.1.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts/run_deepzono_0.1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts/run_deepzono_0.1.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts/run_refinepoly_0.1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts/run_refinepoly_0.1.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts/run_refinezono_0.1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts/run_refinezono_0.1.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts_acas/run_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts_acas/run_all.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts_acas/run_deeppoly_acas.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts_acas/run_deeppoly_acas.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts_acas/run_deepzono_acas.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts_acas/run_deepzono_acas.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts_acas/run_refinepoly_acas.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts_acas/run_refinepoly_acas.sh -------------------------------------------------------------------------------- /exp-results/eran/scripts_acas/run_refinezono_acas.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/eran/scripts_acas/run_refinezono_acas.sh -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property10_stats_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property10_stats_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property10_stats_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property10_stats_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property10_stats_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property10_stats_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property10_stats_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property10_stats_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property10_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property10_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_1_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_1_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_2_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_3_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_4_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_stats_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_stats_5_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property1_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property1_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_2_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_3_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_4_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_stats_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_stats_5_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property2_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property2_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_1_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_1_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_1_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_1_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_1_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_1_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_2_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_3_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_4_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_stats_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_stats_5_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property3_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property3_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_1_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_1_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_1_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_1_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_1_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_1_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_1_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_1_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_1_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_1_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_1_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_1_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_2_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_2_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_3_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_3_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_4_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_4_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_5.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_6.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_7.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_8.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_stats_5_9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_stats_5_9.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property4_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property4_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property5_stats_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property5_stats_0.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property5_stats_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property5_stats_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property5_stats_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property5_stats_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property5_stats_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property5_stats_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property5_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property5_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_lower_stats_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_lower_stats_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_lower_stats_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_lower_stats_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_lower_stats_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_lower_stats_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_lower_stats_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_lower_stats_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_upper_stats_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_upper_stats_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_upper_stats_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_upper_stats_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_upper_stats_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_upper_stats_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property6_upper_stats_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property6_upper_stats_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property7_stats_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property7_stats_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property7_stats_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property7_stats_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property7_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property7_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property8_stats_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property8_stats_3.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property8_summary.txt: -------------------------------------------------------------------------------- 1 | ./nnet/ACASXU_run2a_2_9_batch_2000.nnet, TIMEOUT, 60015, 00:01:00, 22, 142 2 | -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property9_stats_0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property9_stats_0.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property9_stats_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property9_stats_1.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property9_stats_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property9_stats_2.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property9_stats_4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property9_stats_4.txt -------------------------------------------------------------------------------- /exp-results/reluplex/logs/property9_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/logs/property9_summary.txt -------------------------------------------------------------------------------- /exp-results/reluplex/parse_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/parse_results.py -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_adversarial.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_adversarial.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_all.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property1.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property10.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property10.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property2.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property3.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property4.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property4.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property5.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property5.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property6.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property6.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property7.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property7.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property8.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property8.sh -------------------------------------------------------------------------------- /exp-results/reluplex/scripts1m/run_property9.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/reluplex/scripts1m/run_property9.sh -------------------------------------------------------------------------------- /exp-results/socrates/mnist_samples.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/socrates/mnist_samples.txt -------------------------------------------------------------------------------- /exp-results/socrates/motivation/Figure_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/socrates/motivation/Figure_1.png -------------------------------------------------------------------------------- /exp-results/socrates/motivation/result_motivation.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/socrates/motivation/result_motivation.txt -------------------------------------------------------------------------------- /exp-results/socrates/results_opti/fairness/log_bank.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/socrates/results_opti/fairness/log_bank.txt -------------------------------------------------------------------------------- /exp-results/socrates/results_opti/mnist/log_mnist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/socrates/results_opti/mnist/log_mnist.txt -------------------------------------------------------------------------------- /exp-results/summary.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/exp-results/summary.xlsx -------------------------------------------------------------------------------- /gurobi.env: -------------------------------------------------------------------------------- 1 | OutputFlag 0 2 | -------------------------------------------------------------------------------- /scripts/eran_opti_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/eran_opti_01.sh -------------------------------------------------------------------------------- /scripts/eran_sprt_090_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/eran_sprt_090_01.sh -------------------------------------------------------------------------------- /scripts/eran_sprt_095_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/eran_sprt_095_01.sh -------------------------------------------------------------------------------- /scripts/eran_sprt_099_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/eran_sprt_099_01.sh -------------------------------------------------------------------------------- /scripts/fairness_opti.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/fairness_opti.sh -------------------------------------------------------------------------------- /scripts/fairness_refinement.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/fairness_refinement.sh -------------------------------------------------------------------------------- /scripts/fairness_sprt_090.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/fairness_sprt_090.sh -------------------------------------------------------------------------------- /scripts/fairness_sprt_095.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/fairness_sprt_095.sh -------------------------------------------------------------------------------- /scripts/fairness_sprt_099.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/fairness_sprt_099.sh -------------------------------------------------------------------------------- /scripts/mnist_opti.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/mnist_opti.sh -------------------------------------------------------------------------------- /scripts/mnist_sprt_090.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/mnist_sprt_090.sh -------------------------------------------------------------------------------- /scripts/mnist_sprt_095.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/mnist_sprt_095.sh -------------------------------------------------------------------------------- /scripts/mnist_sprt_099.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/mnist_sprt_099.sh -------------------------------------------------------------------------------- /scripts/reluplex_opti.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/reluplex_opti.sh -------------------------------------------------------------------------------- /scripts/reluplex_sprt_090.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/reluplex_sprt_090.sh -------------------------------------------------------------------------------- /scripts/reluplex_sprt_095.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/reluplex_sprt_095.sh -------------------------------------------------------------------------------- /scripts/reluplex_sprt_099.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/reluplex_sprt_099.sh -------------------------------------------------------------------------------- /scripts/rnn_opti_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/rnn_opti_01.sh -------------------------------------------------------------------------------- /scripts/rnn_sprt_090_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/rnn_sprt_090_01.sh -------------------------------------------------------------------------------- /scripts/rnn_sprt_095_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/rnn_sprt_095_01.sh -------------------------------------------------------------------------------- /scripts/rnn_sprt_099_01.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/rnn_sprt_099_01.sh -------------------------------------------------------------------------------- /scripts/run_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_all.sh -------------------------------------------------------------------------------- /scripts/run_backdoor.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_attack.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_attack.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_hyptest1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_hyptest1.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_hyptest2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_hyptest2.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_hyptest3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_hyptest3.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_hyptest4.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_hyptest4.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_repair_gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_repair_gen.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_repair_kwn.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_repair_kwn.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_verifyI1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_verifyI1.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_verifyI2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_verifyI2.sh -------------------------------------------------------------------------------- /scripts/run_backdoor_verifyI3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_backdoor_verifyI3.sh -------------------------------------------------------------------------------- /scripts/run_causality.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_causality.sh -------------------------------------------------------------------------------- /scripts/run_continual.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_continual.sh -------------------------------------------------------------------------------- /scripts/run_mnist.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_mnist.sh -------------------------------------------------------------------------------- /scripts/run_refinement.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_refinement.sh -------------------------------------------------------------------------------- /scripts/run_refinement_cifar.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_refinement_cifar.sh -------------------------------------------------------------------------------- /scripts/run_refinement_cifar_ref1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_refinement_cifar_ref1.sh -------------------------------------------------------------------------------- /scripts/run_refinement_cifar_ref2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_refinement_cifar_ref2.sh -------------------------------------------------------------------------------- /scripts/run_refinement_ref1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_refinement_ref1.sh -------------------------------------------------------------------------------- /scripts/run_refinement_ref2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/scripts/run_refinement_ref2.sh -------------------------------------------------------------------------------- /source/assertion/Assertion.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/assertion/Assertion.g4 -------------------------------------------------------------------------------- /source/assertion/AssertionLexer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/assertion/AssertionLexer.py -------------------------------------------------------------------------------- /source/assertion/AssertionListener.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/assertion/AssertionListener.py -------------------------------------------------------------------------------- /source/assertion/AssertionParser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/assertion/AssertionParser.py -------------------------------------------------------------------------------- /source/assertion/AssertionVisitor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/assertion/AssertionVisitor.py -------------------------------------------------------------------------------- /source/assertion/lib_assertions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/assertion/lib_assertions.py -------------------------------------------------------------------------------- /source/assertion/lib_functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/assertion/lib_functions.py -------------------------------------------------------------------------------- /source/display.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/display.py -------------------------------------------------------------------------------- /source/json_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/json_parser.py -------------------------------------------------------------------------------- /source/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/main.py -------------------------------------------------------------------------------- /source/model/lib_layers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/model/lib_layers.py -------------------------------------------------------------------------------- /source/model/lib_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/model/lib_models.py -------------------------------------------------------------------------------- /source/nn_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/nn_utils.py -------------------------------------------------------------------------------- /source/poly_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/poly_utils.py -------------------------------------------------------------------------------- /source/run_backdoor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_backdoor.py -------------------------------------------------------------------------------- /source/run_backdoor_repair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_backdoor_repair.py -------------------------------------------------------------------------------- /source/run_causal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_causal.py -------------------------------------------------------------------------------- /source/run_continual.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_continual.py -------------------------------------------------------------------------------- /source/run_eran.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_eran.py -------------------------------------------------------------------------------- /source/run_fairness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_fairness.py -------------------------------------------------------------------------------- /source/run_fairness_dtmc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_fairness_dtmc.py -------------------------------------------------------------------------------- /source/run_fairness_verifair.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_fairness_verifair.py -------------------------------------------------------------------------------- /source/run_mnist.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_mnist.py -------------------------------------------------------------------------------- /source/run_refinement.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_refinement.py -------------------------------------------------------------------------------- /source/run_refinement_cifar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_refinement_cifar.py -------------------------------------------------------------------------------- /source/run_reluplex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_reluplex.py -------------------------------------------------------------------------------- /source/run_rnn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_rnn.py -------------------------------------------------------------------------------- /source/run_rnn_fairness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/run_rnn_fairness.py -------------------------------------------------------------------------------- /source/solver/backdoor_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/backdoor_impl.py -------------------------------------------------------------------------------- /source/solver/backdoor_repair_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/backdoor_repair_impl.py -------------------------------------------------------------------------------- /source/solver/causal_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/causal_impl.py -------------------------------------------------------------------------------- /source/solver/continual_impl1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/continual_impl1.py -------------------------------------------------------------------------------- /source/solver/continual_impl2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/continual_impl2.py -------------------------------------------------------------------------------- /source/solver/continual_impl3.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/continual_impl3.py -------------------------------------------------------------------------------- /source/solver/dtmc_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/dtmc_impl.py -------------------------------------------------------------------------------- /source/solver/dtmc_rnn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/dtmc_rnn.py -------------------------------------------------------------------------------- /source/solver/lib_solvers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/lib_solvers.py -------------------------------------------------------------------------------- /source/solver/optimize_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/optimize_impl.py -------------------------------------------------------------------------------- /source/solver/refinement_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/refinement_impl.py -------------------------------------------------------------------------------- /source/solver/sprt_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/sprt_impl.py -------------------------------------------------------------------------------- /source/solver/verifair_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/verifair_impl.py -------------------------------------------------------------------------------- /source/solver/verify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/solver/verify.py -------------------------------------------------------------------------------- /source/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/longph1989/Socrates/HEAD/source/utils.py --------------------------------------------------------------------------------